André Videla
@avidela
Personal projects
View all- Loading
Loading
About
Pronouns: he/him
I work with dependently typed programming languages and type-driven development. https://types.pl/web/@Andrev
Info
Glaive
8:54 PM
Member since October 24, 2017