git.iko.soy/rowtype-yoga/purescript-native
on 4e224e0 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
4 files
../ Kinds.hsInstantiate constrained types as well as universally quantified types when unifying with a unification variable. Monad.hsFix for #171 Synonyms.hsStarting work on code comments Types.hs#184 Nested type synonyms now expand properly, type class instances for type synonyms can be found