lib:sequent-core
Modules
- Language.SequentCore
- Language.SequentCore.Dump
- Language.SequentCore.Inspect
- Language.SequentCore.Lint
- Language.SequentCore.Plugin
- Language.SequentCore.Pretty
- Language.SequentCore.Simpl
- Language.SequentCore.SpecConstr
- Language.SequentCore.Subst
- Language.SequentCore.Syntax
- Language.SequentCore.Translate
Dependencies
- base lib:base >=4 && <5
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- ghc lib:ghc >=7.6
- transformers lib:transformers >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- sequent-core exe:CasesExpl
- sequent-core exe:DumpExpl
- sequent-core exe:Example
- sequent-core exe:SimplExpl
- sequent-core exe:SizesExpl
- sequent-core exe:SpecConstrExpl