git.iko.soy/rowtype-yoga/purescript-native
on 3999964 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
4 files
../ Kinds.hsUse monad-unify 0.2.2 for improved performance Monad.hsDerive Alternative for the type checking monad. Synonyms.hsWrite some syb traversals by hand #367 Types.hsFix compile warnings. Remove unnecessary function in entails.