Agda

Главные вкладки

Agda
1

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors...

  • Windows
  • Mac
  • Linux
Лицензия
Открытое ПО
Официальный сайт

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs interfa...

Альтернативы приложению Agda для Blackberry

Нашли какие-либо ошибки в информации о Agda? Может быть вы знаете альтернативу, которая еще не указана в списке? Вы можете редактировать информацию о Agda или предложить новые альтернативы.

Добавить отзывДобавить альтернативуИзменить информацию о приложенииПожаловаться