Семинар «Поддержка типовой корректности кода на JavaScript с использованием средств функционального программирования с зависимыми типами (Idris)».
состоялся 10 января (10.00) 2022 г.
Помимо сотрудников компании в семинаре
приняли участие аспиранты и магистры
НИЯУ МИФИ и МИСиС. Семинар прошел он-лайн.