git.iko.soy/rowtype-yoga/purescript-native
on 9aa9339 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
4 files
../ Kinds.hsCombine Type and Row types to facilitate kind-checking effects later. Monad.hsMutually recursive data types, part 2 Synonyms.hsFix some bugs, fix remaining passing examples, still need to fix prelude. Types.hsCombine Type and Row types to facilitate kind-checking effects later.