zehaochen19

zehaochen19

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
90 Stars
3 Forks
90 Watchers

Repositories (1)

vanilla-lang zehaochen19/vanilla-lang Haskell

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

90