From dbc3a7c5d41a7b392cdcd51a90f3a419dbaed179 Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sun, 16 Jun 2024 15:31:16 +0900 Subject: Add number (product, sum) implementations --- algebraic-structures.number.product.monoid.scm | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 algebraic-structures.number.product.monoid.scm (limited to 'algebraic-structures.number.product.monoid.scm') 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))) -- cgit v1.2.3