Source
Contents
Index
abt-0.1.0.1: Abstract binding trees for Haskell
Safe Haskell
Safe-Inferred
Language
Haskell2010
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