Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.PureScript.TypeChecker.Subsumption
Description
Subsumption checking
purescript-0.6.4.1: PureScript Programming Language Compiler
Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.PureScript.TypeChecker.Subsumption
Description
Subsumption checking