André Videla

Functional programmer with an inkling for type theory and category theory.

selfie.jpg

I’m interested in dependent types, programming languages, user experience and user interfaces, compiler architecture, lenses, quantitative types, and more.

You can find me on discord (identity5193) and mastodon @andrev@types.pl.

Current projects