diff options
author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 15:31:16 +0900 |
---|---|---|
committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 15:31:16 +0900 |
commit | dbc3a7c5d41a7b392cdcd51a90f3a419dbaed179 (patch) | |
tree | fc32373818007b95e5f89a35aa5530db1cc12809 /algebraic-structures.number.product.monoid.scm | |
parent | c2f4dde340185a4b42beacd46355f94ae41e25e4 (diff) |
Add number (product, sum) implementations
Diffstat (limited to 'algebraic-structures.number.product.monoid.scm')
-rw-r--r-- | algebraic-structures.number.product.monoid.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/algebraic-structures.number.product.monoid.scm b/algebraic-structures.number.product.monoid.scm new file mode 100644 index 0000000..6f39c71 --- /dev/null +++ b/algebraic-structures.number.product.monoid.scm @@ -0,0 +1,3 @@ +(import (algebraic-structures monoid) + (only (algebraic-structures private number product))) +(module (algebraic-structures number product monoid) = ((algebraic-structures monoid) (algebraic-structures private number product))) |