Nezk/naskets

A lazy, purely functional language based on System F-omega with (restricted) equirecursive types.

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

话题：bidirectional-typechecking · call-by-need · programming-language-theory · system-f-omega · type-theory

在 GitHub 上查看原仓库