User profile picture

André Videla

@avidela

Activity

View all
There was an error loading users activity calendar.

Personal projects

View all
Loading

About

Pronouns: he/him

I work with dependently typed programming languages and type-driven development. https://types.pl/web/@Andrev

Info

Glaive
6:56 PM
Member since October 24, 2017

Contact

@Andrev@types.pl
andrevidela