diff options
Diffstat (limited to 'algebraic-structures.private.number.sum.scm')
| -rw-r--r-- | algebraic-structures.private.number.sum.scm | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/algebraic-structures.private.number.sum.scm b/algebraic-structures.private.number.sum.scm new file mode 100644 index 0000000..c0db226 --- /dev/null +++ b/algebraic-structures.private.number.sum.scm @@ -0,0 +1,8 @@ +(module (algebraic-structures private number sum) (<> unit inv) + (import scheme) + + (define (<> x y) (+ x y)) + + (define unit 0) + + (define (inv x) (- x))) |