zaoqi-unsafe / effects

A Haskell translation of Idris's original algebraic effects library

Geek Repo

Github PK Tool