/idris-binary-rationals

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

Primary LanguageIdris

Stargazers