vikraman/2DTypes

Collaborative work on reversible computing

语言：TeX · GitHub 星标：18 · Fork：2

话题：agda · category-theory · monoidal-categories · quantum-computing · reversible-computation · reversible-programming-language

在 GitHub 上查看原仓库