syntactic-0.6: 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.

Documentation

module Language.Syntactic.Syntax

module Language.Syntactic.Interpretation.Equality

module Language.Syntactic.Interpretation.Render

module Language.Syntactic.Interpretation.Evaluation

module Language.Syntactic.Features.Annotate