Интерфейс командной строки для Agda.
onstartup.ru
Рубрика: Haskell
Язык программирования общего назначения Haskell и всё что с ним связано.
Автоматический отслежыватель времени на основе правил.
onstartup.ru
Интерфейс командной строки для Cabal и Hackage.
onstartup.ru
Генерировать выражения Haskell из типов.
onstartup.ru
Система компиляции Glasgow Haskell.
onstartup.ru
Программирование Happy Haskell.
onstartup.ru
Программирование Happy Haskell с помощью Emacs.
onstartup.ru
Профилирующие библиотеки для системы компиляции Glasgow Haskell.
onstartup.ru
Результаты тестирования GHC.
onstartup.ru
Вики-движок, поддерживаемый файловым хранилищем git или darcs.
onstartup.ru