Категория:Типозависимые формальные языки
Версия от 00:39, 27 марта 2023; Dzmuh (обсуждение | вклад) (Новая страница: «{{Википедия-кат|Типозависимые формальные языки}} Данная категория предназначена для формальных языков (по типу, например, языков программирования и языков спецификаций) с системами типов данных, поддерживающих типозависимость Категория:Программи...»)
Данная категория предназначена для формальных языков (по типу, например, языков программирования и языков спецификаций) с системами типов данных, поддерживающих типозависимость.
Страницы в категории «Типозависимые формальные языки»
Эта категория содержит единственную страницу.