git.iko.soy/elk
on 7d03f69 help sign in
history ofcompiler/Types/Types.hs
all commits
7d03f69Provide a way to define super-types in type annotations. Should not be used outside of core libraries.evancz 703508fFix prelude imports and correctly generalize for library types that use `Number`.evancz 87fa86cGet type dealiasing working.evancz 82f888cGet the type-checker running based on docs.json information. Also add rules for `Nil` and `Tuple0`, `Tuple2`, etc.evancz 87a275aFix bugs: * types rendered "::" instead of ":" * `Signal.count` was broken * Prelude didn't have `show`evancz 1822ebcMove the compiler down a directory, mostly.evancz