Package: curry-tools-source (2.1.0-1)
Links for curry-tools-source
Debian Resources:
Download Source Package curry-tools:
Maintainers:
External Resources:
- Homepage [git.ps.informatik.uni-kiel.de]
Similar packages:
Værktøjer som bruges af forskellige Curry-systemer, såsom PAKCS eller KiCS2
PAKCS og KICS2 er to forskellige implementeringer af programmeringssproget Curry. Curry er et funktionelt programmeringssprog udviklet på universiteterne i Kiel, Aachen og Portland.
Hvor PAKCS er en Curry til Prolog-kompiler, så kompilerer KICS2 Curry-kode til Haskell. Begge kompilere kræver to kildekodetræer, når kompileren selv kompileres: curry-libs-source og curry-tools-source.
Denne pakke tilbyder kildefilerne for curry-tools.
Download curry-tools-source
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
all | 291.5 kB | 298.0 kB | [list of files] |