Various data structures for use in the Idris Language. - View it on GitHub