Paquet : curry-libs-source (3.0.0-2)
Liens pour curry-libs-source
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source curry-libs :
Responsables :
- Debian Curry Maintainers (Page QA, Archive du courrier électronique)
- Mike Gabriel (Page QA)
- Michael Hanus (Page QA)
Ressources externes :
- Page d'accueil [git.ps.informatik.uni-kiel.de]
Paquets similaires :
Standard libraries of the Curry distributions PAKCS and KiCS2 (source files)
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-libs-source and curry-tools-source.
This package provides the source files of the curry-libs.
Télécharger curry-libs-source
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 65,6 ko | 73,0 ko | [liste des fichiers] |