Maintainer | maurerl@cs.uoregon.edu |
---|---|
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Language.SequentCore
Description
Documentation
module Language.SequentCore.Syntax
module Language.SequentCore.Pretty
module Language.SequentCore.Plugin
sequent-core-0.5.0.1: Alternative Core language for GHC plugins
Maintainer | maurerl@cs.uoregon.edu |
---|---|
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Language.SequentCore
Description
module Language.SequentCore.Syntax
module Language.SequentCore.Pretty
module Language.SequentCore.Plugin