Alle Optionen
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Quellcode: haskell-djinn-lib  ]

Paket: libghc-djinn-lib-dev (0.0.1.3-3 und andere)

Links für libghc-djinn-lib-dev

Screenshot

Debian-Ressourcen:

Quellcode-Paket haskell-djinn-lib herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Generate Haskell code from a type

Djinn-Lib uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn-Lib sources.

This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Andere Pakete mit Bezug zu libghc-djinn-lib-dev

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libghc-djinn-lib-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
alpha (inoffizielle Portierung) 0.0.1.3-3+b2 269,5 kB2.936,0 kB [Liste der Dateien]
amd64 0.0.1.3-3+b3 180,8 kB1.438,0 kB [Liste der Dateien]
arm64 0.0.1.3-3+b3 201,5 kB1.887,0 kB [Liste der Dateien]
armel 0.0.1.3-3+b4 198,0 kB1.489,0 kB [Liste der Dateien]
armhf 0.0.1.3-3+b7 197,5 kB1.465,0 kB [Liste der Dateien]
hppa (inoffizielle Portierung) 0.0.1.3-3+b4 356,0 kB3.159,0 kB [Liste der Dateien]
i386 0.0.1.3-3+b3 180,6 kB1.145,0 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 0.0.1.3-3+b4 282,1 kB2.147,0 kB [Liste der Dateien]
mips64el 0.0.1.3-3+b3 247,1 kB2.865,0 kB [Liste der Dateien]
mipsel 0.0.1.3-3+b3 227,8 kB2.142,0 kB [Liste der Dateien]
powerpcspe (inoffizielle Portierung) 0.0.1.3-1 260,9 kB2.320,0 kB [Liste der Dateien]
ppc64 (inoffizielle Portierung) 0.0.1.3-3+b3 234,8 kB2.978,0 kB [Liste der Dateien]
ppc64el 0.0.1.3-3+b3 249,1 kB2.690,0 kB [Liste der Dateien]
riscv64 (inoffizielle Portierung) 0.0.1.3-3+b2 369,7 kB4.559,0 kB [Liste der Dateien]
s390x 0.0.1.3-3+b3 251,6 kB2.671,0 kB [Liste der Dateien]
sh4 (inoffizielle Portierung) 0.0.1.3-3 256,9 kB2.014,0 kB [Liste der Dateien]
sparc64 (inoffizielle Portierung) 0.0.1.3-3+b3 315,7 kB4.752,0 kB [Liste der Dateien]
x32 (inoffizielle Portierung) 0.0.1.3-3+b3 336,4 kB2.286,0 kB [Liste der Dateien]