André Videla
@avidela
Personal projects
View allLoading
Loading
About
I work with dependently typed programming languages and type-driven development. https://types.pl/web/@Andrev
Info
Strathclyde
4:04 PM
Member since October 24, 2017