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