Pacote: curry-tools-source (3.3.0-2)
Links para curry-tools-source
Recursos de Debian:
- Relatórios de bug
- Informação de desenvolvedor(a)
- Debian Changelog
- Arquivo de copyright
- Rastreador de patch Debian
Baixe o pacote-fonte curry-tools:
Mantenedores(as):
- Debian Curry Maintainers (QA Página, E-mail Arquivo)
- Mike Gabriel (QA Página)
- Michael Hanus (QA Página)
Fontes externas:
- Pagina principal [git.ps.informatik.uni-kiel.de]
Pacotes similares:
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.
Download de curry-tools-source
Arquitetura | Tamanho do pacote | Tamanho instalado | Arquivos |
---|---|---|---|
all | 316.7 kB | 324.0 kB | [lista de arquivos] |