syntactic-0.9: Generic abstract syntax, and utilities for embedded languages
Language.Syntactic
Description
The syntactic library
The basic functionality is provided by the module Language.Syntactic.Syntax.
module Language.Syntactic.Syntax
module Language.Syntactic.Interpretation.Equality
module Language.Syntactic.Interpretation.Render
module Language.Syntactic.Interpretation.Evaluation
module Language.Syntactic.Interpretation.Semantics