frea icon indicating copy to clipboard operation
frea copied to clipboard

verified publisher icon lambduli
→

Metadata

A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

Results 2 frea issues
Sort by recently updated
recently updated
newest added

Typing Haskell in Haskell - Predicates, Contexts and related stuff

lambduli avatar lambduli

TODO

[pull #35] - [ ] fix the kind variable inconsistency in case of both type variables and constants - probably by fixing the parsing process but it's still necessary to...

lambduli avatar lambduli

← Metadata

17
Stars
1
Forks
Watchers

Owner

verified publisher icon lambduli

Metadata

A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.

Back