В четверг, 7 мая, около 16 часов (MSK) регистратор заморозил домен «cyclowiki.org» без уведомления владельцев. Сайт недоступен из большинства стран. Правление изучает возможности решения проблемы.
Участник:Clayrat/Сорт (теория типов)
Перейти к навигации
Перейти к поиску
В теории типов сорт — это тип операции конструирования вида («тип вида» или «тип третьего порядка»).
Существует два общеизвестных сорта:
- - сорт типа
- - сорт вида