Donnacha Oisín Kidney's repositories
type-indexed-queues
Queues with verified and unverified versions
constrained-monads
A library for monads with constraints over the types they contain
quickselect
implementation of introselect in haskell
adjunctions
Simple adjunctions
idris-pfds
Purely functional data structures in Idris
nat-sized-numbers
Arbitrarily sized wraparound numeric types. Useful for testing
pandoc-templates
Templates for pandoc
sort-traversable
Sort any Traversable container
uniquely-represented-sets
This package provides a set with a unique representation.