标签： idris rational-numbers
Idris中是否存在有理数的实现？
E.g。来自Haskell的Data.Ratio个端口。
Data.Ratio
答案 0 :(得分：2)
通过快速搜索，我找到this，如果它可能很有趣