git.iko.soy/rowtype-yoga/purescript-native
on 5d428e9 help sign in
rowtype-yoga/purescript-native/src/PureScript/TypeChecker
4 files
../ Kinds.hsSeparate polytypes into their own datatype, remove rank 2 types. Fix type synonym example. Monad.hsSeparate polytypes into their own datatype, remove rank 2 types. Fix type synonym example. Synonyms.hsWork on type synonyms and rank-N types Types.hsSeparate polytypes into their own datatype, remove rank 2 types. Fix type synonym example.