git.iko.soy/rowtype-yoga/purescript-native
on d2d684c 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.hsStill more work on mutually recursive functions, still need to fix examples Synonyms.hsFix some bugs, fix remaining passing examples, still need to fix prelude. Types.hsFix some bugs, fix remaining passing examples, still need to fix prelude.