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

Indexes created Tue Jul 24 14:28:13 CEST 2018