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