|
|
user: | 4ad | created: | August 4, 2011 | karma: | 6170 | about: | 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 | | comments | | favorites |
|