From d03e273cc14193d2283a1997c88b1da407b3ec19 Mon Sep 17 00:00:00 2001 From: Yamada Ryo Date: Wed, 17 Jul 2024 02:58:39 +0900 Subject: [PATCH] [add] description about the semantics to README.md. --- README.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 8bdb034..5167e3d 100644 --- a/README.md +++ b/README.md @@ -1,10 +1,13 @@ -# Heftia +# Heftia: Higher-order effects done right [![Hackage](https://img.shields.io/hackage/v/heftia.svg?logo=haskell&label=heftia)](https://hackage.haskell.org/package/heftia) [![Hackage](https://img.shields.io/hackage/v/heftia-effects.svg?logo=haskell&label=heftia-effects)](https://hackage.haskell.org/package/heftia-effects) Heftia is a higher-order effects version of Freer. +This library provides "[continuation-based semantics](https://github.com/lexi-lambda/eff/blob/master/notes/semantics-zoo.md)" for higher-order effects, the same as [lexi-lambda's eff](https://github.com/lexi-lambda/eff). +Instead of using the `IO` monad to implement delimited continuations for effects, this library uses `Freer` monad. + The paper * Casper Bach Poulsen and Cas van der Rest. 2023. Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects. Proc. ACM Program. Lang. 7,