gitlab.com topics: type inference
gilmi/giml-lang
https://giml-lang.org A functional programming language with emphasis on structural typing.
Last synced at: 3 months ago - Stars: 9 - Forks: 0
robkleffner/typesandinference
Experimental type system and type inference algorithms
Last synced at: almost 3 years ago - Stars: 0 - Forks: 0
Related Keywords