🧙♂️
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
Stars
1
star
written in Java
Clear filter