symantic-6.0.0.20170623: Library for Typed Tagless-Final Higher-Order Composable DSL

Safe HaskellNone
LanguageHaskell2010

Language.Symantic.Typing

Description

Typing terms.

Documentation

module Language.Symantic.Typing.List

module Language.Symantic.Typing.Peano

module Language.Symantic.Typing.Kind

module Language.Symantic.Typing.Variable

module Language.Symantic.Typing.Type

module Language.Symantic.Typing.Grammar

module Language.Symantic.Typing.Document

module Language.Symantic.Typing.Read

module Language.Symantic.Typing.Show

module Language.Symantic.Typing.Unify