diff --git a/.github/workflows/code_style.yml b/.github/workflows/code_style.yml index f077fc957..f7edc0be9 100644 --- a/.github/workflows/code_style.yml +++ b/.github/workflows/code_style.yml @@ -27,7 +27,7 @@ jobs: uses: actions/setup-python@v5 with: cache: poetry - python-version: 3.9 + python-version: "3.10" - name: Install requirements run: | diff --git a/README.md b/README.md index bda882899..8ac052545 100644 --- a/README.md +++ b/README.md @@ -16,7 +16,7 @@ - Свежее по теории автоматов и их применению в различных областях: [Editors: Jean-Éric Pin. 2021. "Handbook of Automata Theory"](https://ems.press/books/standalone/172) Технологии: -- Python 3.9+ +- Python 3.10+ - Pytest для unit тестирования - GitHub Actions для CI - Google Colab для постановки и оформления экспериментов @@ -25,17 +25,22 @@ ## Содержание -* [Из чего складывается оценка за курс](#из-чего-складывается-оценка-за-курс) - * [Летучки](#летучки) - * [Домашние практические работы](#домашние-практические-работы) -* [Работа с проектом](#работа-с-проектом) -* [Домашние практические работы](#домашние-практические-работы-1) -* [Код](#код) -* [Тесты](#тесты) -* [Эксперименты](#эксперименты) -* [Структура репозитория](#структура-репозитория) -* [Контакты](#контакты) -* [Вместо введения](#вместо-введения) +- [Formal Language Course](#formal-language-course) + - [Содержание](#содержание) + - [Из чего складывается оценка за курс](#из-чего-складывается-оценка-за-курс) + - [Летучки](#летучки) + - [Домашние практические работы](#домашние-практические-работы) + - [Работа с проектом](#работа-с-проектом) + - [Домашние практические работы](#домашние-практические-работы-1) + - [Дедлайны](#дедлайны) + - [Выполнение домашнего задания](#выполнение-домашнего-задания) + - [Получение оценки за домашнюю работу](#получение-оценки-за-домашнюю-работу) + - [Код](#код) + - [Тесты](#тесты) + - [Эксперименты](#эксперименты) + - [Структура репозитория](#структура-репозитория) + - [Контакты](#контакты) + - [Вместо введения](#вместо-введения) ## Из чего складывается оценка за курс