repos
/
cl-unification
/ darcs_commitdiff
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Fixed factorial example.
Wed Apr 27 21:04:59 UTC 2005 mantoniotti
* Fixed factorial example.
hunk ./docs/html/control-flow.html 71
- (#T(number ?n) (factorial (1- ?n)))
+ (#T(number ?n) (* ?n (factorial (1- ?n))))