syntactic-0.9: Generic abstract syntax, and utilities for embedded languages

Safe Haskell	None

Language.Syntactic

Description

The syntactic library

The basic functionality is provided by the module Language.Syntactic.Syntax.

Documentation

module Language.Syntactic.Syntax

module Language.Syntactic.Interpretation.Equality

module Language.Syntactic.Interpretation.Render

module Language.Syntactic.Interpretation.Evaluation

module Language.Syntactic.Interpretation.Semantics