André Videla

@avidela

Activity

There was an error loading users activity calendar.

Personal projects

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