Cross Reference: NatEx.hascasl
xref
: /
hets
/
ToHaskell
/
test
/
NatEx.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
free type Nat ::= Zero | Suc (prec : Nat)
op f(x:Nat):Nat = Suc x