abt-0.1.1.0: 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