From 3ab48119dd91fc26fd34c9964538027fa22b460d Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sat, 15 Jun 2024 03:45:15 +0900 Subject: Add reducible --- algebraic-structures.semigroup.reduce.scm | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 algebraic-structures.semigroup.reduce.scm (limited to 'algebraic-structures.semigroup.reduce.scm') diff --git a/algebraic-structures.semigroup.reduce.scm b/algebraic-structures.semigroup.reduce.scm new file mode 100644 index 0000000..f5340e7 --- /dev/null +++ b/algebraic-structures.semigroup.reduce.scm @@ -0,0 +1,4 @@ +(functor ((algebraic-structures semigroup reduce) (S (<>)) (R (reduce))) (reduce) + (import scheme S (rename R (reduce reducible:reduce))) + + (define (reduce xs) (reducible:reduce <> xs))) -- cgit v1.2.3