A Haskell translation of Idris's original algebraic effects library
Primary LanguageHaskell
No issues in this repository yet.