在Idris中实现有理数

Question

3

有没有现成的Idris有理数实现？

比如从Haskell迁移而来的Data.Ratio。

- stop-cran

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- marcosh · Accepted Answer

通过快速搜索，我找到了这个，如果你感兴趣的话。