About
I work with dependently typed programming languages and type-driven development. https://types.pl/web/@Andrev
Info
Strathclyde
1:22 AM
Member since October 24, 2017
I work with dependently typed programming languages and type-driven development. https://types.pl/web/@Andrev