Chalmers University of Technology

Вики

Язык программирования

/

Agda (язык программирования) Обзор Agda Agda — функциональный язык программирования с зависимой типизацией, разработанный Ульфом Нореллом.  Система Agda была разработана

Прокрутить вверх