git.iko.soy/rowtype-yoga/purescript-native
on 1b77d7e help sign in
history ofsrc/PureScript/Types.hs
all commits
7c83932cabal testsPhil Freeman 5c9e25eIntroduce saturated type synonyms to allow type synonyms to persist until unificationPhil Freeman dd540b4Check all unknowns become quantified at the top level. Fix row unification bug./Phil 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 5c3b65dFFIPhil Freeman 100d787Initial addPhil Freeman