|
|
user: 4ad
created: 2011-08-04
karma: 6203
JSR PC, @(R6)+Mathematical engineer working on pragmatic, Curry-style type systems. Previously worked on the CUE language at https://cuelang.org. I also wrote the arm64, sparc64, and Solaris Go ports.
submissions:
|
|