Описание тега church-encoding

Вопросы о кодировке Чёрча, способе представления данных с использованием функций и кодировке Бёма-Берардуччи, ее переносе в типизированную настройку. Для вопросов, касающихся в первую очередь связанных кодировок Скотта и Могенсена-Скотта, есть [scott-encoding].