sigma-andex / idris-refined

Port of Scala/Haskell Refined library to Idris
15Updated 3 years ago

Related projects

Alternatives and complementary repositories for idris-refined