idris-functors
Bifunctors and functor products, coproducts, and composition
Latest release v0.2.0 - Published - 1 stars
idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
Latest release v0.2.0 - Published - 1 stars
idris-async
Higher-level abstractions for asynchronous code in idris
Latest release v0.3.0 - Published
idris-crayons
An idris library to colorize strings for terminals
Latest release v0.1.0 - Published
idris-comonad
An implementation of comonads in idris
Latest release v0.1.1 - Published - 1 stars
idris-assert
A simple idris assertion library
Latest release v0.2.0 - Published
idris-jserror
The javascript error type in idris
Latest release - Published
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search