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