[ buster ]
[ bullseye ]
[ Источник: curry-tools ]
Пакет: curry-tools-source (2.1.0-1)
Ссылки для curry-tools-source
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код curry-tools:
Сопровождающие:
- Debian Curry Maintainers (Страница КК, Почтовый архив)
- Mike Gabriel (Страница КК)
- Michael Hanus (Страница КК)
Внешние ресурсы:
- Сайт [git.ps.informatik.uni-kiel.de]
Подобные пакеты:
Tools that are used by different Curry systems, like PAKCS or KiCS2
PAKCS and KICS2 are two different implementations of the programming language Curry. Curry is a functional programming language being developed at Kiel, Aachen and Portland University.
Whereas PAKCS is a Curry to Prolog compiler, KICS2 compiles Curry code into Haskell. Both compilers require two source code trees at compiler build time: curry-tools-source and curry-tools-source.
This package provides the source files of the curry-tools.
Загрузка curry-tools-source
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| all | 291,5 Кб | 298,0 Кб | [список файлов] |