jpvillaisaza/cain

Category theory applied to functional programming (undergraduate project)

语言：TeX · GitHub 星标：35 · Fork：0

话题：agda · category-theory · functional-programming · haskell

在 GitHub 上查看原仓库