Cross Reference: NatEx.hascasl
xref: /hets/ToHaskell/test/NatEx.hascasl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
b5b03751832cc37eb5be9409d9efba4882935611Christian Maederfree type Nat ::= Zero | Suc (prec : Nat)
bada0c99c6398c209ec9c6a9f5b316b7b5c99b33Christian Maeder
b5b03751832cc37eb5be9409d9efba4882935611Christian Maederop f(x:Nat):Nat = Suc x

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