git.iko.soy/elk
on cd83c4c help sign in
history ofcompiler/Types/Solver.hs
all commits
9a40249Fix the confusion with "Cons" and "Nil" in issue #176.evancz 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