A purely functional programming language with first class types

A library for composable and effectful production, transformation and consumption of streams of data in Idris

Free Monads and useful constructions to work with them

This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"