git.iko.soy/elk
on a3801ac help sign in
history ofcompiler/Types/Substitutions.hs
all commits
3c71ee1Support @ patterns as in HaskellAndrew Miller 6b28feaSwitch name of Context to Located. Whoo static types :)evancz 7d03f69Provide a way to define super-types in type annotations. Should not be used outside of core libraries.evancz 5d536d1Get prelude added in all cases.evancz 703508fFix prelude imports and correctly generalize for library types that use `Number`.evancz 1822ebcMove the compiler down a directory, mostly.evancz