All Git Users → zehaochen19

1 open source projects by zehaochen19

[ Open user page on Github ]

1. vanilla-lang

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

✭ 73

haskell Nix lambda-calculus polymorphism type-inference system-f higher-rank-types

1-1 of 1 user projects