| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.SequentCore
Documentation
module Language.SequentCore.Syntax
module Language.SequentCore.Pretty
module Language.SequentCore.Plugin
sequent-core-0.1.0.0: Alternative Core language for GHC plugins
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.SequentCore
module Language.SequentCore.Syntax
module Language.SequentCore.Pretty
module Language.SequentCore.Plugin