osa1 / h10

A Haskell 2010 type checker

https://osa1.net/h10

osa1/h10 Issues

Include initial comments in indentation groups
Closed 4 months ago
Find a way to store the .wasm file outside of the git repo
Updated 4 months ago
Substitution of quantified vars in class method schemes is not right
Closed 5 months ago
One-way unification unifies right-hand side types with each other
Closed 5 months ago
Create a GitHub page, set up CI automation to rebuild and update the Wasm file on every commit
Closed 5 months ago1
Renaming instance method right-hand sides is probably not right (add tests)
Updated 5 months ago