msprotz/proof-search-monad

Tentative write-up of a neat trick used in the Mezzo type-checker

语言：TeX · GitHub 星标：15 · Fork：1

在 GitHub 上查看原仓库