abt-0.1.0.1: Abstract binding trees for Haskell

Safe HaskellSafe-Inferred
LanguageHaskell2010

Abt.Types.Nat

Documentation

data Nat Source

Constructors

Z 
S !Nat 

Instances

HEq1 [Nat] o => HEq1 Nat (Tm o) 
HEq1 [Nat] Lang 
Show1 [Nat] Lang