Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
A library for composable and effectful production, transformation and consumption of streams of data in Idris
Transducers for Idris: a library for composable algorithmic transformation.
A type safety challenge in Idris: encoding the rules of Bowling inside the type system