79 Commits

Author	SHA1	Message	Date
Yamada Ryo	08e9396be8	[fix] Removed '-fplugin GHC.TypeLits.KnownNat.Solver' from the .cabal because it could not be built with Stack (#15).	2024-10-14 11:05:59 +09:00
Yamada Ryo	3203935a1f	[fix] markdown errors in README.md.	2024-10-10 23:00:34 +09:00
Yamada Ryo	b98c2d2c3c	[fix] Adjust documentation.	2024-10-10 22:17:36 +09:00
Yamada Ryo	84818dfa86	Update license-related info.	2024-10-10 20:19:58 +09:00
Yamada Ryo	ab78b12101	[add] support for GHC 9.4.1.	2024-10-10 08:25:30 +09:00
Yamada Ryo	6ba7baf68d	[add] dependency version bounds.	2024-10-10 04:08:56 +09:00
Yamada Ryo	e5c7410081	Update README.md for v0.4.0.	2024-10-10 03:05:53 +09:00
Yamada Ryo	f07f850856	[add] top-level documentation.	2024-10-09 22:46:25 +09:00
Yamada Ryo	24fdd5e39a	[WIP] standard effects interpreters.	2024-10-03 06:33:23 +09:00
Yamada Ryo	e28bed0af9	[fix] wrong sentence in README.md.	2024-09-25 04:53:10 +09:00
Yamada Ryo	774121d2fb	Update README.md to avoid ambiguous expressions and replace them with quantitative measurements later.	2024-09-25 04:52:14 +09:00
Yamada Ryo	f7ee057227	Update README.md about comparison.	2024-09-25 02:43:10 +09:00
Yamada Ryo	1e7321fe1a	[add] performance in README.md.	2024-09-14 00:23:36 +09:00
Yamada Ryo	ec299c404b	[add] about GHC version in README.md.	2024-09-10 19:36:52 +09:00
Yamada Ryo	e2deb545fe	[fix] Update permalinks.	2024-09-09 18:02:27 +09:00
Yamada Ryo	08f5cfe6a8	[add] the Issue 12 Semantics Test to README.md.	2024-09-09 16:32:37 +09:00
Yamada Ryo	18367346e2	Update README.md about performance.	2024-09-09 12:58:19 +09:00
Yamada Ryo	c253377549	[fix] todo.	2024-09-09 05:09:18 +09:00
Yamada Ryo	ccdab5c234	[add] translation todo.	2024-09-09 02:03:46 +09:00
Yamada Ryo	b89b0cdee9	[add] more acknowledgements.	2024-09-09 01:38:26 +09:00
Yamada Ryo	b78868533a	[add] link for mechanism article.	2024-09-05 13:45:43 +09:00
Yamada Ryo	001dd9d115	[fix] version of heftia-effects in README.md.	2024-09-05 11:58:48 +09:00
Yamada Ryo	42584d7bea	[fix] wrong sentence.	2024-09-05 06:57:44 +09:00
Yamada Ryo	ed8daf3dc8	[fix] performance of eff.	2024-09-05 06:51:07 +09:00
Yamada Ryo	130b477aa4	Update README.md.	2024-09-05 06:46:37 +09:00
Yamada Ryo	4ad2da9d93	[fix] links to v0.3.0.	2024-09-01 18:45:02 +09:00
Yamada Ryo	b889266998	[fix] Rename the module from Handler to Interpreter to align with terminology.	2024-09-01 17:19:44 +09:00
Yamada Ryo	c05ce586d7	[remove] wrong information in README.md.	2024-09-01 05:26:19 +09:00
Yamada Ryo	4a087ccda8	[remove] outdated documentations.	2024-09-01 05:19:45 +09:00
Yamada Ryo	80502ca4c3	[fix] outdated documentation: docs-ja/01.	2024-08-26 23:02:49 +09:00
Yamada Ryo	9639e3aeb3	Update README.md.	2024-08-25 21:26:16 +09:00
Yamada Ryo	3689da56a4	Update README.md.	2024-08-25 21:22:42 +09:00
Yamada Ryo	67432212a7	Update README.md: add installation entry.	2024-08-24 19:52:34 +09:00
Yamada Ryo	3b219da911	[add] raise(Under) and subsume(Under) for arbitrary numbers of effects by type classes.	2024-08-15 22:20:30 +09:00
Yamada Ryo	b6c19a46c8	[add] description about tested-to-work GHC version in README.md.	2024-07-17 18:54:16 +09:00
Yamada Ryo	2b275c9700	Update README.md.	2024-07-17 18:47:54 +09:00
Yamada Ryo	eded953979	[add] description about GHC extensions & plugins in README.md.	2024-07-17 17:52:53 +09:00
Yamada Ryo	6344c46247	[fix] broken (on Hackage) link in README.md.	2024-07-17 17:32:07 +09:00
Yamada Ryo	a64bcfc214	Bump the stage to beta.	2024-07-17 16:29:56 +09:00
Yamada Ryo	f3db91edd4	[fix] the Writer example code in README.md.	2024-07-17 16:21:31 +09:00
Yamada Ryo	58258ce94d	[fix] Change naming convention of higher-order 'interpret' function-families.	2024-07-17 15:01:42 +09:00
Yamada Ryo	d03e273cc1	[add] description about the semantics to README.md.	2024-07-17 02:58:39 +09:00
Yamada Ryo	f5482eab47	[fix] Adjusted the order of NonDet+Except results in SemanticsZoo example with the order in semantics-zoo.md.	2024-07-17 02:50:45 +09:00
Yamada Ryo	c7d0b45fef	[fix] Changed the format of the SemanticsZoo example.	2024-07-17 02:36:44 +09:00
Yamada Ryo	07f30e1247	Removed commented-out unnecessary definitions.	2024-07-17 02:17:06 +09:00
Yamada Ryo	2d180c53d2	[fix] Change naming convention of effect handlers.	2024-07-15 23:22:10 +09:00
Yamada Ryo	2bafde1e29	[add] details about the multi-layering example.	2024-07-15 20:22:16 +09:00
Yamada Ryo	658a52bac6	[fix] URL of Example/Continuation2 in README.md.	2024-07-15 20:18:21 +09:00
Yamada Ryo	2ff7edafdb	Update README.md.	2024-07-15 19:32:28 +09:00
Yamada Ryo	56f795d94c	Update README.md.	2024-07-14 12:04:00 +09:00