12зной
1ответ
Закрытие и универсальное квантификация
3зной
2ответ
Является ли числовое кодирование номеров натуральных чисел Церковью ненужным образом?
2зной
1ответ
Как я могу сделать число в церкви более читаемым человеком в lisp?
26зной
3ответ
12зной
1ответ
Практические причины церковно Кодирование
4зной
1ответ
Операции на церковных списков в Haskell
1зной
2ответ
Как получить предшественник церкви номера
17зной
2ответ
Исчисление лямбда в Haskell: Есть ли способ сделать проверку типа цифр в церкви?
8зной
2ответ
Почему список различий не является экземпляром складного?
17зной
3ответ
Арифметика с церковными цифрами