git.iko.soy/rowtype-yoga/purescript-native
on 6970c35 help sign in
rowtype-yoga/purescript-native/src/PureScript/TypeChecker
4 files
../ Kinds.hsShow relevant term in type error Monad.hsFix a kind checking error, add support for 'extern data' Synonyms.hsIntroduce saturated type synonyms to allow type synonyms to persist until unification Types.hsFix problem with recursive functions with a type signature