diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 15:36:33 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-06-16 15:36:33 +0900 |
| commit | 193a1917dd374f7fc47a3b35e30e6a827c0b171a (patch) | |
| tree | 33fc29619324130fa6b1f6345b61f5b58109b595 /algebraic-structures.egg | |
| parent | dbc3a7c5d41a7b392cdcd51a90f3a419dbaed179 (diff) | |
Add string implementations
Diffstat (limited to 'algebraic-structures.egg')
| -rw-r--r-- | algebraic-structures.egg | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/algebraic-structures.egg b/algebraic-structures.egg index 0cba2ef..44c9ffd 100644 --- a/algebraic-structures.egg +++ b/algebraic-structures.egg @@ -32,6 +32,11 @@ (extension algebraic-structures.number.sum.monoid) (extension algebraic-structures.number.sum.group) + ;; String + (extension algebraic-structures.private.string) + (extension algebraic-structures.string.semigroup) + (extension algebraic-structures.string.monoid) + ;; List (extension algebraic-structures.private.list) (extension algebraic-structures.list.semigroup) |