Пакунок: djinn (2014.9.7-9 and others)

Links for djinn

Debian Resources:

Download Source Package djinn:

Maintainers:

External Resources:

Homepage [hackage.haskell.org]

Similar packages:

generate Haskell expressions from types

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.

Tags: Interface Toolkit: Ncurses TUI

Інші пакунки пов'язані з djinn

depends

recommends

suggests

enhances

dep: libatomic1 (>= 4.8)

Підтримка бібліотеки, яка забезпечує вбудовані функції __atomic
dep: libc6 (>= 2.29)

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb
dep: libffi7 (>= 3.3~20180313)

Бібліотека інтерфейсу до сторонніх функцій — виконавчі файли
dep: libgmp10

Арифметична бібліотека багатоточності
dep: libtinfo6 (>= 6)

Низькорівнева колективна бібліотека „terminfo“ для роботи з терміналом

Завантажити djinn

Завантаження для всіх доступних архітектур
Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
i386	2014.9.7-9+b1	456.1 kB	1,925.0 kB	[список файлів]