/IdrisApp

An extensible IO-like monad-like thing for Idris, with support for including linear subprograms

Primary LanguageIdris

Watchers