Реализация рациональных чисел в Idris

Существуют ли какие-либо реализации рациональных чисел в Idris?

Например, Data.Ratio порты из Хаскелла.

1 3
rational-numbers

1 ответ:

При быстром поиске я нашел это , если это может быть интересно

2