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