Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Types
— check type validity
— zero type with no inhabited terms
— sum type representing choice between terms (PiChoice)
— product type representing multiple values
— function type represent combinators (PiCombinator)
— type for continuation
— negative type for backtracking
— inverse type for garbage collecting (PiBottom)
PiError
""