[ buster ]
[ bullseye ]
[ Pakiet źródłowy: curry-tools ]
Pakiet: curry-tools-source (2.1.0-1)
Odnośniki dla curry-tools-source
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego curry-tools:
Opiekunowie:
- Debian Curry Maintainers (Strona QA, Archiwum e-mail)
- Mike Gabriel (Strona QA)
- Michael Hanus (Strona QA)
Zasoby zewnętrzne:
- Strona internetowa [git.ps.informatik.uni-kiel.de]
Podobne pakiety:
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.
Pobieranie curry-tools-source
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 291,5 KiB | 298,0 KiB | [lista plików] |