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