All Git Users → jpvillaisaza

1 open source projects by jpvillaisaza

[ Open user page on Github ]

Category theory applied to functional programming (undergraduate project)

✭ 27

TeX Makefile functional-programming category-theory agda

1-1 of 1 user projects