aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorMasaya Tojo <masaya@tojo.tokyo>2024-06-27 02:11:19 +0900
committerMasaya Tojo <masaya@tojo.tokyo>2024-06-27 02:11:19 +0900
commita4d7b78b4199dc5f35f49e5d375d02266bcda3a8 (patch)
tree29264b1ca049e04cd15891ce2a8a0b5b85b96980 /README.md
parentf8583f9a85f54d0a7b4902d0d23b1b83f387b593 (diff)
Update README.mdHEADmain
Diffstat (limited to 'README.md')
-rw-r--r--README.md68
1 files changed, 34 insertions, 34 deletions
diff --git a/README.md b/README.md
index 90bf8c2..bf50f61 100644
--- a/README.md
+++ b/README.md
@@ -105,53 +105,53 @@ In REPL:
## Supported Features
- Semigroup: `(algebraic-structures semigroup)`
- - Number (product): `(algebraic-structures number product semigroup)`
- - Number (sum): `(algebraic-structures number sum semigroup)`
- - List: `(algebraic-structures list semigroup)`
- - Vector: `(algebraic-structures vector semigroup)`
- - Stream: `(algebraic-structures stream semigroup)`
+ - Number (product): `(algebraic-structures number product semigroup)`
+ - Number (sum): `(algebraic-structures number sum semigroup)`
+ - List: `(algebraic-structures list semigroup)`
+ - Vector: `(algebraic-structures vector semigroup)`
+ - Stream: `(algebraic-structures stream semigroup)`
- Semigroup.reduce: `(algebraic-structures semigroup reduce)`
- Monoid: `(algebraic-structures monoid)`
- - Number (product): `(algebraic-structures number product monoid)`
- - Number (sum): `(algebraic-structures number sum monoid)`
- - List: `(algebraic-structures list monoid)`
- - Vector: `(algebraic-structures vector monoid)`
- - Stream: `(algebraic-structures stream monoid)`
+ - Number (product): `(algebraic-structures number product monoid)`
+ - Number (sum): `(algebraic-structures number sum monoid)`
+ - List: `(algebraic-structures list monoid)`
+ - Vector: `(algebraic-structures vector monoid)`
+ - Stream: `(algebraic-structures stream monoid)`
- Monoid.fold: `(algebraic-structures monoid fold)`
- Group
- - Number (product): `(algebraic-structures number product group)`
- - Number (sum): `(algebraic-structures number sum group)`
+ - Number (product): `(algebraic-structures number product group)`
+ - Number (sum): `(algebraic-structures number sum group)`
- Foldable: `(algebraic-structures foldable)`
- - List: `(algebraic-structures list foldable)`
- - Vector: `(algebraic-structures vector foldable)`
- - Stream: `(algebraic-structures stream foldable)`
+ - List: `(algebraic-structures list foldable)`
+ - Vector: `(algebraic-structures vector foldable)`
+ - Stream: `(algebraic-structures stream foldable)`
- Reducible: `(algebraic-structures reducible)`
- - List: `(algebraic-structures list reducible)`
- - Vector: `(algebraic-structures vector reducible)`
- - Stream: `(algebraic-structures stream reducible)`
+ - List: `(algebraic-structures list reducible)`
+ - Vector: `(algebraic-structures vector reducible)`
+ - Stream: `(algebraic-structures stream reducible)`
- Functor: `(algebraic-structures functor)`
- - List: `(algebraic-structures list functor)`
- - Vector: `(algebraic-structures vector functor)`
- - Stream: `(algebraic-structures stream functor)`
+ - List: `(algebraic-structures list functor)`
+ - Vector: `(algebraic-structures vector functor)`
+ - Stream: `(algebraic-structures stream functor)`
- Applicative: `(algebraic-structures applicative)`
- - List: `(algebraic-structures list applicative)`
- - List (zip): `(algebraic-structures list zip applicative)`
- - Vector (zip): `(algebraic-structures vector zip applicative)`
- - Stream: `(algebraic-structures stream applicative)`
- - Stream (zip): `(algebraic-structures stream zip applicative)`
+ - List: `(algebraic-structures list applicative)`
+ - List (zip): `(algebraic-structures list zip applicative)`
+ - Vector (zip): `(algebraic-structures vector zip applicative)`
+ - Stream: `(algebraic-structures stream applicative)`
+ - Stream (zip): `(algebraic-structures stream zip applicative)`
- Monad: `(algebraic-structures monad)`
- - List: `(algebraic-structures list monad)`
- - Stream: `(algebraic-structures stream monad)`
+ - List: `(algebraic-structures list monad)`
+ - Stream: `(algebraic-structures stream monad)`
- Alternative: `(algebraic-structures alternative)`
- - List: `(algebraic-structures list alternative)`
- - Stream: `(algebraic-structures stream alternative)`
+ - List: `(algebraic-structures list alternative)`
+ - Stream: `(algebraic-structures stream alternative)`
## Examples
- Group
- - [mod7](./examples/mod7.scm)
+ - [mod7](./examples/mod7.scm)
- Monad
- - [optional](./examples/optional.scm)
- - [state](./examples/state.scm)
+ - [optional](./examples/optional.scm)
+ - [state](./examples/state.scm)
- Monad (`do` syntax)
- - [pythagorean-triples](./examples/pythagorean-triples.scm)
+ - [pythagorean-triples](./examples/pythagorean-triples.scm)