Here are some examples from The Epigram Tutorial: The following declaration defines the natural numbers: ( ! ( ! ( n : Nat ! data !---------! where !----------! ; !-----------! !
Iată câteva exemple de la The Epigram Tutorial: Următoarea declarație definește numerele naturale: ( ! ( ! ( n : Nat ! data !---------! where !----------! ; !-----------! !