/idris-binary-rationals

An idris rational number type built from paths in the Stern Brocot tree

Primary LanguageIdris

Idris Binary Rationals

An idris rational number type built from paths in the Stern Brocot tree.

See M Niqui, Exact arithmetic on the SternBrocot tree, Journal of Discrete Algorithms volume 5 issue 2, 2007.