【问题标题】：Implementation of rational numbers in Idris在 Idris 中实现有理数 【发布时间】：2017-09-05 15:53:49 【问题描述】： Idris 中是否有任何现有的有理数实现？ 例如Data.Ratio 来自 Haskell 的端口。 【问题讨论】： 标签： idris rational-numbers 【解决方案1】： 通过快速搜索，我找到了this，如果它可能有趣的话 【讨论】：