boltlang / Bolt

A programming language for rapid application development
35 stars 1 forks source link

Kind inferencer fails to detect when too many types are applied to a datatype #37

Closed samvv closed 1 year ago