abt-0.1.0.1: Abstract binding trees for Haskell

Safe HaskellNone
LanguageHaskell2010

Abt.Types

Description

The core structures used to define the Abt signatures.

Documentation

module Abt.Types.Nat

module Abt.Types.View