lib:sequent-core

Modules

• Language.SequentCore
• Language.SequentCore.Dump
• Language.SequentCore.Plugin
• Language.SequentCore.Pretty
• Language.SequentCore.Simpl
• Language.SequentCore.Simpl.Env
• Language.SequentCore.Simpl.Monad
• Language.SequentCore.SpecConstr
• Language.SequentCore.Syntax
• Language.SequentCore.Translate

Dependencies

• base lib:base >=4 && <5
• 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