git.iko.soy/rowtype-yoga/purescript-native
on 9994812 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
4 files
../ Kinds.hsStill more work on mutually recursive functions, still need to fix examples Monad.hsImport data types using import keyword, fix prelude, fix some errors when unifying types across modules. 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.