3

Are there any existing implementations of rational numbers in Idris?

E.g. Data.Ratio ports from Haskell.

stop-cran
  • 4,229
  • 2
  • 30
  • 47

1 Answers1

2

With a quick search, I found this, if it could be interesting

marcosh
  • 8,780
  • 5
  • 44
  • 74