git.iko.soy/rowtype-yoga/purescript-native
on 2ffe085 help sign in
history ofsrc/PureScript/TypeChecker/Kinds.hs
all commits
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