标签列表
在Idris中实现有理数
idris
rational-numbers
3
3
有没有现成的Idris有理数实现?
比如从Haskell迁移而来的Data.Ratio。
-
stop-cran
1
个回答
2
2
通过快速搜索,我找到了
这个
,如果你感兴趣的话。
-
marcosh
回答链接
网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接
相关问题
4
在Idris中定义类别
3
比较有理数
8
基于 Agda 论文,在 Idris 中实现完整解析器
8
如何在Haskell / Idris中实现有限状态机的约束?
4
使用Idris实现isLast
9
易于在Idris中实现的语法相等性
8
Python中是否有实现“有理数”区间算术的方法?
3
在Idris中实现依赖对的Semigroup
4
在Idris中实现BigDecimal
6
在Idris中定义群组