How to Install curry-tools-source in Ubuntu 18.04

Install curry-tools-source by entering the following commands in the terminal:

sudo apt update
sudo apt install curry-tools-source


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.


Version: 2.0.1-1

Section: universe/devel