[ buster ]
[ bullseye ]
[ Source: curry-tools ]
Paketti: curry-tools-source (2.1.0-1)
Links for curry-tools-source
Debian-palvelut:
Imuroi lähdekoodipaketti curry-tools:
Ylläpitäjät:
- Debian Curry Maintainers (Laadunvalvontasivu, Mail Archive)
- Mike Gabriel (Laadunvalvontasivu)
- Michael Hanus (Laadunvalvontasivu)
External Resources:
- Kotisivu [git.ps.informatik.uni-kiel.de]
Samankaltaisia paketteja:
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.
Imuroi curry-tools-source
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| all | 291.5 kt | 298.0 kt | [tiedostoluettelo] |