zehaochen19/vanilla-lang

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

语言：Haskell · GitHub 星标：90 · Fork：3

话题：higher-rank-types · lambda-calculus · polymorphism · programming-language · system-f · type-inference

在 GitHub 上查看原仓库