idris-hackers / idris-free

Free Monads and useful constructions to work with them
26Updated 6 years ago

Related projects

Alternatives and complementary repositories for idris-free