Савеλий

Привет! Я давно находил сайт, где чел показывает много способов написать факториал на хаскеле, с каждой итерацией подключая всё бОльший рокет саенс. Может у кого сохранилась с...

О, давно хотел уточнить, почему в Set нет стрелок в пустое множество? Я так думаю, что потому что в определении отображения ∀ элемента из домейна ∃ элемент из кодомейна, и это...

а в идрис он до конца прям вычисляет, а не до WHNF? говорили он строгий

какой там один элемент?