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