git.iko.soy/rowtype-yoga/purescript-native
on a1ef2ea help sign in
history ofsrc/PureScript/TypeChecker/Kinds.hs
all commits
9ee79c6Show relevant term in type errorPhil Freeman c584c40Fix a kind checking error, add support for 'extern data'Phil Freeman 73a773eShow human readable types in type errorsPhil Freeman 5d428e9Separate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.Phil Freeman f96c9a1Work on type synonyms and rank-N typesPhil Freeman ae6037fBetter code gen, better support for arrays, more patterns, more examples.Phil Freeman 78f85b3Fix some typechecker bugsPhil Freeman 100d787Initial addPhil Freeman