/build-your-own-effect-system

This project is meant to highlight the similarities of extensible effects and Idris effects

Watchers