lib:pisigma
Modules
- Language.PiSigma.Check
- Language.PiSigma.Equality
- Language.PiSigma.Evaluate
- Language.PiSigma.Lexer
- Language.PiSigma.Normalise
- Language.PiSigma.Parser
- Language.PiSigma.Pretty
- Language.PiSigma.Syntax
- Language.PiSigma.Util.String.Internal
- Language.PiSigma.Util.String.Parser
Dependencies
- array lib:array >=0.2 && <0.4
- base lib:base >=4.0 && <5.0
- bytestring lib:bytestring >=0.9 && <1.0
- containers lib:containers >=0.4 && <0.5
- haskeline lib:haskeline >=0.6 && <0.7
- haskeline-class lib:haskeline-class >=0.6.1 && <0.7
- mpppc lib:mpppc >=0.1.0 && <0.2
- mtl lib:mtl >=1.1.1.1 && <2.0
- parsec lib:parsec >=3.0 && <4.0
- text lib:text >=0.11 && <0.12
- utf8-string lib:utf8-string >=0.3.6 && <0.4
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything