3

Idris 中是否有任何现有的有理数实现？

例如Data.Ratio来自 Haskell 的端口。

4

1 回答 1

2

通过快速搜索，我发现了这个，如果它可能很有趣的话

于 2017-09-05T19:46:57.683 回答