We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Libraries (markdown)
Adding other package listings
adding a stream-processing library
Add an entry for idris-time under Data.
added a link to my box2d bindings for idris
fixed package name
adding tparsec
Added link to my refined library
Add idris4http
Fix Markdown syntax on a link
Added idris-dimensions.
Added Specdris
Added idris-bytes.
note deprecation of tauli/idris-monadic-parser
Add steshaw/idris-sdl2
Add my lens and optparse libraries.
Added libwebsockets binding library
Added idris-containers from @jfdm
Added QuickCheck from @david-christiansen
Added iquery and idris-{crypto,free} from @idris-hackers
Added Idris microhttpd binding to libmicrohttpd