λm.me - An alternative frontend for Haskell? (gilmi.me)
What if we were to build an alternative syntax for Haskell?
What if we were to build an alternative syntax for Haskell?
A tutorial on how to implement kind inference using unification-based constraint solving.