Тема	#	Автор	Дата	Форум
Про ATS и зависимые типы	170	D. Mon	14 лет 1 мес	Декларативное программирование