New version of Effects library with dependent states
Idris
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.

README.md

Eff-new

New version of Effects library with dependent states