diff options
Diffstat (limited to 'src/input')
| -rw-r--r-- | src/input/pat.input.pamphlet | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/input/pat.input.pamphlet b/src/input/pat.input.pamphlet index 2f6535ba..53ff68ca 100644 --- a/src/input/pat.input.pamphlet +++ b/src/input/pat.input.pamphlet @@ -14,6 +14,7 @@ -- Input for page PatternMatching )clear all +square := operator 'square rule square(x) == x*x fact(n | n > 0) == n * fact(n - 1) fact(0) == 1 |