Usuário: 4ad

Criado: 5367 dias atrás
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.