Idris 中有理数的实现
Implementation of rational numbers in Idris
Idris 中是否存在有理数的现有实现？
例如来自 Haskell.
的 Data.Ratio 个端口
通过快速搜索，我找到了 this，如果它可能很有趣的话
Idris 中是否存在有理数的现有实现？
例如来自 Haskell.
的Data.Ratio 个端口
通过快速搜索，我找到了 this，如果它可能很有趣的话