معرفی شرکت ها

djinn_2014.9.7-9+b2_amd64.deb

Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

generate Haskell expressions from types
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main amd64
نام بسته djinn
نام فایل بسته djinn_2014.9.7-9+b2_amd64.deb
نسخه بسته 2014.9.7
انتشار بسته 9+b2
معماری بسته amd64
نگهدارنده Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://hackage.haskell.org/package/djinn
مجوز -
حجم دانلود 458436
حجم نصب 2346
Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. . Given a type the program will deduce an expression of this type, if one exists. If the Djinn says the type is not realizable it is because there is no (total) expression of the given type.


جایگزین ها

بسته نسخه معماری مخزن
djinn_2014.9.7-9+b2_arm64.deb 2014.9.7 arm64 Debian main
djinn_2014.9.7-9+b2_armhf.deb 2014.9.7 armhf Debian main
djinn_2014.9.7-9+b2_i386.deb 2014.9.7 i386 Debian main
djinn_2014.9.7-9+b2_mips64el.deb 2014.9.7 mips64el Debian main
djinn_2014.9.7-9+b2_mipsel.deb 2014.9.7 mipsel Debian main
djinn_2014.9.7-9+b2_ppc64el.deb 2014.9.7 ppc64el Debian main
djinn_2014.9.7-9+b2_s390x.deb 2014.9.7 s390x Debian main
djinn_2014.9.7-9+b3_armel.deb 2014.9.7 armel Debian main


نیازمندی

مقدار نام
>= 2.29 libc6
>= 3.4 libffi8
>= 2:6.2.1+dfsg libgmp10
>= 6 libtinfo6


نحوه نصب


نصب پکیج deb djinn:

    sudo apt-get install djinn_2014.9.7-9+b2_amd64.deb


فایل ها

مسیرها
./usr/bin/djinn
./usr/share/doc/djinn/buildinfo_amd64.gz
./usr/share/doc/djinn/changelog.Debian.amd64.gz
./usr/share/doc/djinn/changelog.Debian.gz
./usr/share/doc/djinn/copyright
./usr/share/lintian/overrides/djinn
./usr/share/man/man1/djinn.1.gz