User: 4ad
Created: 8/4/2011, 4:51:22 PM
Karma: 6170
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.