André Videla
Toggle navigation
about
blog
projects
cv
2025
an archive of posts from this year
Jan 11, 2025
Programing Pipelines Using Dependent Types