Skip to content
Sections
>> Trisquel >> Packages >> aramo >> devel >> curry-tools-source
etiona  ] [  nabia  ] [  aramo  ]
[ Source: curry-tools  ]

Package: curry-tools-source (3.3.0-2)

Links for curry-tools-source

curry-tools-source

Trisquel Resources:

Download Source Package curry-tools:

Maintainer:

Original Maintainers:

  • Debian Curry Maintainers (Mail Archive)
  • Mike Gabriel
  • Michael Hanus

External Resources:

  • Homepage [git.ps.informatik.uni-kiel.de]

Similar packages:

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.

Download curry-tools-source

Download for all available architectures
Architecture Package Size Installed Size Files
all 315.5 kB323 kB [list of files]