From 4ad2da9d933fd970820b9d6818679ea6ac160c59 Mon Sep 17 00:00:00 2001 From: Yamada Ryo Date: Sun, 1 Sep 2024 18:45:02 +0900 Subject: [PATCH] [fix] links to v0.3.0. --- README.md | 14 +++++++------- docs-ja/examples/01 First-order.md | 2 +- docs-ja/examples/02 Higher-order.md | 3 ++- docs-ja/examples/03 Delimited continuation.md | 7 +------ 4 files changed, 11 insertions(+), 15 deletions(-) diff --git a/README.md b/README.md index bff833d..5053399 100644 --- a/README.md +++ b/README.md @@ -77,7 +77,7 @@ Example .cabal: This library has been tested to work with GHC 9.2.8. ## Getting Started -To run the [SemanticsZoo example](https://github.com/sayo-hs/heftia/blob/232599fbdfaf13dcf009f40585369e0ec71fd0bd/heftia-effects/Example/SemanticsZoo/Main.hs): +To run the [SemanticsZoo example](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/SemanticsZoo/Main.hs): ```console $ git clone https://github.com/sayo-hs/heftia $ cd heftia/heftia-effects @@ -112,7 +112,7 @@ are some examples: In handling higher-order effects, it's easy to work with **multi-shot delimited continuations**. This enables an almost complete emulation of "Algebraic Effects and Handlers". For more details, please refer to -the [example code](https://github.com/sayo-hs/heftia/blob/232599fbdfaf13dcf009f40585369e0ec71fd0bd/heftia-effects/Example/Continuation/Main.hs). +the [example code](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/Continuation/Main.hs). ### Two interpretations of the `censor` effect for Writer @@ -165,7 +165,7 @@ Pre-applying: Goodbye world! Post-applying: Hello world!! ``` -For more details, please refer to the [complete code](https://github.com/sayo-hs/heftia/blob/develop/heftia-effects/Example/Writer/Main.hs) and the [implementation of the elaborator](https://github.com/sayo-hs/heftia/blob/develop/heftia-effects/src/Control/Effect/Interpreter/Heftia/Writer.hs). +For more details, please refer to the [complete code](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/Writer/Main.hs) and the [implementation of the elaborator](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/src/Control/Effect/Interpreter/Heftia/Writer.hs). Furthermore, the structure of Heftia is theoretically straightforward, with ad-hoc elements being eliminated. @@ -176,10 +176,10 @@ This may be useful when writing concurrent effectful code. Heftia is the current main focus of the [Sayo Project](https://github.com/sayo-hs). ## Documentation -The example codes are located in the [heftia-effects/Example/](https://github.com/sayo-hs/heftia/tree/232599fbdfaf13dcf009f40585369e0ec71fd0bd/heftia-effects/Example) directory. +The example codes are located in the [heftia-effects/Example/](https://github.com/sayo-hs/heftia/tree/v0.3.0/heftia-effects/Example) directory. Also, the following *HeftWorld* example: https://github.com/sayo-hs/HeftWorld -Examples with explanations in Japanese can be found in the [docs-ja/examples/](https://github.com/sayo-hs/heftia/tree/master/docs-ja/examples) directory. +Examples with explanations in Japanese can be found in the [docs-ja/examples/](https://github.com/sayo-hs/heftia/tree/v0.3.0/docs-ja/examples) directory. ## Comparison @@ -241,12 +241,12 @@ This is indeed true in terms of its internal mechanisms as well. * Benchmarking ## License -The license is MPL 2.0. Please refer to the [NOTICE](https://github.com/sayo-hs/heftia/blob/232599fbdfaf13dcf009f40585369e0ec71fd0bd/NOTICE). +The license is MPL 2.0. Please refer to the [NOTICE](https://github.com/sayo-hs/heftia/blob/v0.3.0/NOTICE). Additionally, this README.md and the documents under the `docs-ja` directory are licensed under CC BY-SA 4.0. ## Your contributions are welcome! -Please see [CONTRIBUTING.md](https://github.com/sayo-hs/heftia/blob/232599fbdfaf13dcf009f40585369e0ec71fd0bd/CONTRIBUTING.md). +Please see [CONTRIBUTING.md](https://github.com/sayo-hs/heftia/blob/v0.3.0/CONTRIBUTING.md). ## Credits Parts of this project have been inspired by the following resources: diff --git a/docs-ja/examples/01 First-order.md b/docs-ja/examples/01 First-order.md index eec8c63..b45b97f 100644 --- a/docs-ja/examples/01 First-order.md +++ b/docs-ja/examples/01 First-order.md @@ -363,7 +363,7 @@ prog'' :: ('[] :!! '[B]) a ## コード全体 -コードの全体は以下のようになる。タグ付きエフェクトのコードは[GitHub](https://github.com/sayo-hs/heftia/blob/9639e3aeb3fcfd641f19b7cdccc10e686e6fca5d/heftia-effects/Example/Teletype/Main.hs)にある。 +コードの全体は以下のようになる。タグ付きエフェクトのコードは[heftia-effects/Example/Teletype/](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/Teletype/Main.hs)にある。 ```haskell {-# LANGUAGE AllowAmbiguousTypes #-} diff --git a/docs-ja/examples/02 Higher-order.md b/docs-ja/examples/02 Higher-order.md index e78dff1..a3cee0e 100644 --- a/docs-ja/examples/02 Higher-order.md +++ b/docs-ja/examples/02 Higher-order.md @@ -742,4 +742,5 @@ liftIO $ putStrLn "------" --- -パートの例で使用したコードの全体は[GitHub](TODO)にある。 +本パートの例で使用したコードの全体は[heftia-effects/Example/Logging/](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/Logging/Main.hs)にある。 + diff --git a/docs-ja/examples/03 Delimited continuation.md b/docs-ja/examples/03 Delimited continuation.md index 7736870..fb9181f 100644 --- a/docs-ja/examples/03 Delimited continuation.md +++ b/docs-ja/examples/03 Delimited continuation.md @@ -108,10 +108,5 @@ scope exited. result: (1,1)(1,2)(1,3)(1,4)(2,1)(2,2)(2,3)(2,4)(3,1)(3,2)(3,3)(3, Haskell上でEffect Systemを実現するライブラリは数多くあるが、いわゆる「Algebraic Effects and Handlers」で可能なこと（限定継続の取り出しとそれを用いたモジュラーな高階エフェクトのハンドリング）をほぼフルでエミュレートできるのは、Hefty Algebrasに基づくElaboration方式のみのようだ。 -以上で、本ライブラリの入門編は終わりになる。本ライブラリの"感覚"を掴むための最低限の説明をしたつもりだ。まだまだ説明できなかった事柄がたくさんあるので、各自Haddockを辿るか、次のシリーズである応用編が書かれるのを待ってほしい！Haddockに関してはほとんどドキュメントは書けていない。ドキュメントの整備を手伝ってくれる人は大歓迎だ！ +本パートの例で使用したコードの全体は[heftia-effects/Example/Continuation/](https://github.com/sayo-hs/heftia/blob/v0.3.0/heftia-effects/Example/Continuation/Main.hs)にある。 -本シリーズを英訳してくれる人も募集中です。 - ---- - -本パートの例で使用したコードの全体は[GitHub](TODO)にある。