Jan Liam Verter issues

Repositories
Issues
Comments

Results 3 issues of


                                            Jan Liam Verter

Effects Are Missing from Types

It seems that effects are missing from types. Using the Eff REPL, when loading a file containing: ``` effect Whatever : int let foo x = let bar y =...

Typing Haskell in Haskell - Predicates, Contexts and related stuff

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...