A functional programming language with algebraic effects and effect handlers. Most of the features, especially the ones about the effect system, are adapted from Eff, see https://arxiv.org/abs/1312.2334.
This toy language is named after the heroine of TV anime Puella Magi Madoka Magica.
Please first install Haskell stack.
Then run the interpreter by:
stack run
- types on types & kinds
- more tests
- more primitive types
- more friendly error messages
- optimizations
- manual