git.iko.soy/rowtype-yoga/purescript-native
on bcc7e77 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
4 files
../ Kinds.hsMutually recursive data types, part 2 Monad.hsMutually recursive data types, part 2 Synonyms.hsFix some bugs, fix remaining passing examples, still need to fix prelude. Types.hsImport data types using import keyword, fix prelude, fix some errors when unifying types across modules.