min обычно определяется на нетипизированного лямбда-исчислении, как (с помощью Caramel's syntax): sub a b = (b pred a)
<= a b = (is_zero (sub b a))
min a b = (<= a b a b)
Это очень неэффективно. S
оправдание мой язык, я говорю по-испански попробовать перевести на другой язык невозможно Как я могу поставить скрытый характер в тексте, как это имеет это: Саrrоts аrе nоt јust для Вунгун! Это связан