effectful/effectful-core
2022-04-06 18:32:34 +02:00
..
src Better code generation for subsume 2022-04-06 18:32:34 +02:00
utils Store the size of the Env directly and implement raise 2022-03-06 23:32:02 +01:00
CHANGELOG.md Split effectful package (#27) 2021-07-25 15:18:35 +02:00
effectful-core.cabal Rewrite Env for simpler code and support for more operations 2022-03-12 03:19:30 +01:00
LICENSE Document dynamic variants of basic effects 2022-01-25 10:21:24 +01:00