Обсуждение:Чистая система типов
 | Эта статья содержит текст, переведённый из статьи Pure type system из раздела Википедии на английском языке. Список авторов находится на странице истории правок оригинальной статьи. Информация о включении текстов из других источников и их авторах может быть размещена на странице обсуждения оригинальной статьи. |