首页
标签
rational-numbers
Ratio<,> 是常量，但如果我想接受不同的比率作为参数怎么办？
理性 class 和移动语义不起作用
为什么 Racket 报告 π 是有理数？
Idris 中有理数的实现
Python 中的分数和整数相乘
Haskell 中有理数的模式匹配
在两个给定的有理数之间找到最简单的有理数
Coq QArith 除以零是零，为什么？
比较有理数