sayo-hs/heftia
1
1
Fork 0
mirror of https://github.com/sayo-hs/heftia.git synced 2024-11-27 07:37:56 +03:00
Code Issues Actions Packages Projects Releases Wiki Activity

[fix] URL of Example/Continuation2 in README.md.

Browse Source
This commit is contained in:
Yamada Ryo 2024-07-15 20:18:21 +09:00
parent 8f71a2d4e6
commit 658a52bac6
No known key found for this signature in database
GPG Key ID: AAE3C7A542B02DBF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -122,7 +122,7 @@ It appears as if a *reset* (in the sense of *shift/reset*) is applied to each of
In other words, to obtain delimited continuations beyond their scope, it is necessary to first handle and eliminate all higher-order effects that hold those scopes, In other words, to obtain delimited continuations beyond their scope, it is necessary to first handle and eliminate all higher-order effects that hold those scopes,
and then handle the effect targeted for stateful interpretation in that order. and then handle the effect targeted for stateful interpretation in that order.
For this purpose, it might sometimes be possible to use *multi-layering*. For an example of multi-layering, For this purpose, it might sometimes be possible to use *multi-layering*. For an example of multi-layering,
see [Example/Continuation2](https://github.com/sayo-hs/heftia/blob/f4989e92c31ae2632762afcff306ffa48c307c56/heftia-effects/Example/Continuation2/Main.hs). see [Example/Continuation2](https://github.com/sayo-hs/heftia/blob/8f71a2d4e6125018b64cbbacd32151565a29046d/heftia-effects/Example/Continuation2/Main.hs).
For more details, please refer to the documentation of the `interpretRec` family of functions. For more details, please refer to the documentation of the `interpretRec` family of functions.
## Comparison ## Comparison