TechQA.

Implementation of rational numbers in Idris

234 views Asked by At

Are there any existing implementations of rational numbers in Idris?

E.g. Data.Ratio ports from Haskell.

idris rational-numbers
Original Q&A
1

There are 1 answers

0
marcosh On BEST ANSWER

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

Related Questions in IDRIS

Related Questions in RATIONAL-NUMBERS

Popular Questions

Popular Tags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json python-3.x ruby-on-rails .net sql-server swift django angular objective-c pandas excel

Trending Questions