Port of Scala/Haskell Refined library to Idris
-
Updated
Apr 25, 2021 - Idris
Port of Scala/Haskell Refined library to Idris
Add a description, image, and links to the refined topic page so that developers can more easily learn about it.
To associate your repository with the refined topic, visit your repo's landing page and select "manage topics."