André Videla
Toggle navigation
about
blog
projects
(current)
cv
projects
A growing collection of your cool projects.
work
Idris 2
A programming language with dependent types
fun