Skip to content
Sections
>> Trisquel >> 软件包 >> etiona >> devel >> curry-tools-source
etiona  ] [  nabia  ] [  aramo  ]
[ 源代码: curry-tools  ]

软件包: curry-tools-source (2.0.1-1)

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.

下载 curry-tools-source

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
all 238.3 kB245 kB [文件列表]