sequent-core-0.5.0.1: Alternative Core language for GHC plugins

Maintainermaurerl@cs.uoregon.edu
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Language.SequentCore

Description

 

Documentation

module Language.SequentCore.Syntax

module Language.SequentCore.Pretty

module Language.SequentCore.Plugin

module Language.SequentCore.Translate