Cross Reference: NatEx.hascasl
xref
: /
hets
/
ToHaskell
/
test
/
NatEx.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
NatEx.hascasl revision bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
Christian Maeder
type Nat : Type
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
Christian Maeder
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
Christian Maeder
free type Nat ::= Zero | Suc (Prec : Nat)