معرفی شرکت ها

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

Tools that are used by different Curry systems, like PAKCS or KiCS2

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Ubuntu Bionic-18.04
مخزن	Ubuntu universe all
نام بسته	curry-tools-source
نام فایل بسته	curry-tools-source_2.0.1-1_all.deb
نسخه بسته	2.0.1
انتشار بسته	1
معماری بسته	all
نگهدارنده	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت	-
هاست سازنده	-
نوع بسته	.deb
آدرس صفحه اصلی	https://git.ps.informatik.uni-kiel.de/curry/curry-tools
مجوز	-
حجم دانلود	243984
حجم نصب	245

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.

نیازمندی

مقدار	نام
-

نحوه نصب

نصب پکیج deb curry-tools-source:

sudo apt-get install curry-tools-source_2.0.1-1_all.deb

فایل ها

مسیرها
./usr/share/doc/curry-tools-source/README.md
./usr/share/doc/curry-tools-source/changelog.Debian.gz
./usr/share/doc/curry-tools-source/copyright
./usr/src/curry-tools-source.tar.xz