rational-numbers

Существуют ли какие-либо реализации рациональных чисел в Idris? Например, Data.Ratio порты из Хаскелла....

однажды я получил следующий вопрос интервью: Я думаю о натуральном числе n. придумайте алгоритм, который может угадать его в o(lg n) запросах. Каждый запрос-это номер по вашему выбору, и я отвечу либо "ниже", "выше", либо "правильно"." эта проблема может быть решена путем модифицированного двоичного по...