Заказчик
Отзывы фрилансеров:
+ 0
- 0
Зарегистрирован на сайте меньше месяца
Бюджет:
по договоренности
Требуется разработать прототип файловой системы на зависимых типах на языке Idris 2
Обязательно использование зависимых типов, следовательно все проверки на этапе компиляции
Файловая система должна иметь древовидную структуру и поддерживать операции создания/удаления директорий/файлов.
Разделы:
Опубликован:
09.05.2025 | 21:18 [поднят: 09.05.2025 | 21:18]
Заказ находится в архиве
Теги: написать программу, создать программу, разработать программу, разработчики программ, прикладной программист