/Eff-dev

Development version of effects library for Idris

Primary LanguageIdris

This repository is not active