Nezk/upal

A typechecker and lazy interpreter for System U

语言：Haskell · GitHub 星标：12 · Fork：0

话题：bidirectional-typechecking · normalization-by-evaluation · proof-assistant · type-theory · typechecker

在 GitHub 上查看原仓库