edwinb / IdrisApp

An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
22Updated 4 years ago

Alternatives and similar repositories for IdrisApp:

Users that are interested in IdrisApp are comparing it to the libraries listed below