🧙♂️
Functional programmer, proof writer, PL researcher in training, Free Software hacker. Proud user of the GNU Operating System.
-
Universidad de la República
- Canelones, Uruguay
- jota191.ml
Search results
0 open and 0 closed projects found.-
There aren't any projects yet