Bug#840539: ITP: curry-tools -- Tools that are used by different Curry systems, like PAKCS or KiCS2
Package: wnpp
Severity: wishlist
Owner: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
* Package name : curry-tools
Version : 1.0.0
Upstream Author : Michael Hanus <mh@informatik.uni-kiel.de>
* URL : https://git.ps.informatik.uni-kiel.de/curry/curry-tools
* License : BSD-3-clause
Programming Lang: Curry
Description : 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-libs and curry-tools at build time.
The curry-tools binary package will be named curry-tools-source and it
will provide the Curry Tools source code required for building PAKCS (or
KICS2).
This package will be maintained in Debian as part of my work at Kiel
University, Germany.
Reply to: