curry-tools-source

Tools that are used by different Curry systems, like PAKCS or KiCS2

Description

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.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.

Upload a screenshot

Hint: upload an image here from your clipboard with Ctrl-V


Homepage

https://git.ps.informatik.uni-kiel.de/curry/curry-tools


Install this software package

If the package is available for the distribution you are currently using on your computer then install the software by clicking on…

Install curry-tools-source