abt-0.1.0.2.1: Abstract binding trees for Haskell
Abt.Types.Nat
data Nat Source
Constructors
Instances