File: Mfact.mod

package info (click to toggle)
cafeobj 1.6.0-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 19,900 kB
  • sloc: lisp: 85,055; sh: 659; makefile: 437; perl: 147
file content (17 lines) | stat: -rw-r--r-- 273 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 

module FACT {
  protecting (RAT)
  op _! : Nat -> NzNat
  eq 0 ! = 1 .
  ceq N:Nat ! = N * (N - 1 !) if N > 0 .
}

provide Mfact
eof
-- examples
select FACT
parse (4 / 2)! .
reduce (4 / 2)! .
reduce (4 / 3)! .

** $Id: Mfact.mod,v 1.1.1.1 2003-06-19 08:30:11 sawada Exp $