An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
What is the zehaochen19/vanilla-lang GitHub project? Description: "An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types". Written in Haskell. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
Clone via HTTPS
Clone via SSH
Download ZIP
Download master.zipReport bugs or request features on the vanilla-lang issue tracker:
Open GitHub Issues