curry-tools-source

Tools that are used by different Curry systems, like PAKCS or KiCS2
  https://git.ps.informatik.uni-kiel.de/curry/curry-tools
  0
  no reviews



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.