[ buster ]
[ bullseye ]
[ 原始碼: curry-tools ]
套件:curry-tools-source(2.1.0-1)
curry-tools-source 的相關連結
Debian 的資源:
下載原始碼套件 curry-tools:
維護小組:
外部的資源:
- 主頁 [git.ps.informatik.uni-kiel.de]
相似套件:
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.