Paquet : curry-tools-source (2.0.1-1)
Liens pour curry-tools-source
Ressources Trisquel :
Télécharger le paquet source curry-tools :
Responsable :
Original Maintainers:
- Debian Curry Maintainers (Archive du courrier électronique)
- Mike Gabriel
- Michael Hanus
Ressources externes :
- Page d'accueil [git.ps.informatik.uni-kiel.de]
Paquets similaires :
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.
Télécharger curry-tools-source
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 238,3 ko | 245 ko | [liste des fichiers] |