[ buster ]
[ bullseye ]
[ Kaynak: curry-tools ]
Paket: curry-tools-source (2.1.0-1)
curry-tools-source için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
curry-tools Kaynak Paketini İndir:
Geliştiriciler:
- Debian Curry Maintainers (QA Sayfası, Posta Arşivi)
- Mike Gabriel (QA Sayfası)
- Michael Hanus (QA Sayfası)
Dış Kaynaklar:
- Ana Sayfa [git.ps.informatik.uni-kiel.de]
Benzer paketler:
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 indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| all | 291,5 kB | 298,0 kB | [dosya listesi] |