gelisam/agda-playground

a series of ambitious experiments in the functional language / proof assistant Agda.

语言：Vim Script · GitHub 星标：3 · Fork：0

在 GitHub 上查看原仓库