git.iko.soy/elk
on 90cf421 help sign in
history ofcompiler/Types/Solver.hs
all commits
6b28feaSwitch name of Context to Located. Whoo static types :)evancz ce64672Clean up imports in many files.evancz 7d03f69Provide a way to define super-types in type annotations. Should not be used outside of core libraries.evancz c2fc03cDealias more reliably during unificationevancz 87fa86cGet type dealiasing working.evancz 1822ebcMove the compiler down a directory, mostly.evancz