Вышла Agda 2.5.118.04.2016 11:00

Чистый функциональный язык программирования и система интерактивного доказательства Agda обновилась до версии 2.5.1.

Некоторые изменения:

представлена официальная пользовательская документация;
с помощью прагмы HASKELL можно добавлять к модулю произвольный код на Haskell;
многочисленные изменения в области метапрограммирования и рефлексии;
исправлены некоторые ошибки в бекэндах:
- теперь нет необходимости указывать {-# COMPILED_DATA #-} для встроенных типов Bool, Int, Float и других;
- клозы функций с разной арностью компилируются корректно;
- поддержка co-patterns в бекэндах GHC/UHC;
поддержка Utrecht Haskell Compiler (UHC) в качестве бекэнда.

agda, зависимые типы