git.iko.soy/elk
on d7dcf5a help sign in
history ofcompiler/Types/Solver.hs
all commits
721ce4fContinue reorganizing the code-base.evancz 339ad77Begin getting the parser to match the new SourceSyntax modules.evancz 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