sayo-hs/heftia
1
1
Fork 0
mirror of https://github.com/sayo-hs/heftia.git synced 2024-11-26 23:05:04 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

[fix] Minor markdown adjustments in README.md.

Browse Source
This commit is contained in:
Yamada Ryo 2024-10-11 11:25:36 +09:00
parent 0de2ca1d1d
commit 6fd996910b
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -219,7 +219,7 @@ About the internal *elaboration* mechanism: https://sayo-hs.github.io/jekyll/upd
[^5]: https://github.com/sayo-hs/heftia/issues/12 [^5]: https://github.com/sayo-hs/heftia/issues/12
[^6]: https://github.com/hasura/eff/issues/12 [^6]: https://github.com/hasura/eff/issues/12
Heftia can simply be described as a higher-order version of freer-simple. Heftia can simply be described as a higher-order version of `freer-simple`.
This is indeed true in terms of its internal mechanisms as well. This is indeed true in terms of its internal mechanisms as well.
Additionally, this library provides a consistent algebraic effects semantics that is independent of carriers and effects. Additionally, this library provides a consistent algebraic effects semantics that is independent of carriers and effects.
@ -252,8 +252,8 @@ For more details, please refer to [performance.md](https://github.com/sayo-hs/he
* It is generally recommended to use effects defined with automatic derivation provided by [data-effects-th](https://hackage.haskell.org/package/data-effects-th). * It is generally recommended to use effects defined with automatic derivation provided by [data-effects-th](https://hackage.haskell.org/package/data-effects-th).
* The representation of first-order effects is compatible with freer-simple. * The representation of first-order effects is compatible with `freer-simple`.
Therefore, effects defined for freer-simple can be used as is in this library. Therefore, effects defined for `freer-simple` can be used as is in this library.
However, to avoid confusion between redundantly defined effects, However, to avoid confusion between redundantly defined effects,
it is recommended to use the effects defined in `data-effects`. it is recommended to use the effects defined in `data-effects`.