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