všetky možnosti
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Zdroj: haskell-djinn-lib  ]

Balík: libghc-djinn-lib-dev (0.0.1.3-3 a iné)

Odkazy pre libghc-djinn-lib-dev

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík haskell-djinn-lib:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom libghc-djinn-lib-dev

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libghc-djinn-lib-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha (neoficiálny port) 0.0.1.3-3+b2 269.5 kB2,936.0 kB [zoznam súborov]
amd64 0.0.1.3-3+b3 180.8 kB1,438.0 kB [zoznam súborov]
arm64 0.0.1.3-3+b3 201.5 kB1,887.0 kB [zoznam súborov]
armel 0.0.1.3-3+b4 198.0 kB1,489.0 kB [zoznam súborov]
armhf 0.0.1.3-3+b7 197.5 kB1,465.0 kB [zoznam súborov]
hppa (neoficiálny port) 0.0.1.3-3+b4 356.0 kB3,159.0 kB [zoznam súborov]
i386 0.0.1.3-3+b3 180.6 kB1,145.0 kB [zoznam súborov]
m68k (neoficiálny port) 0.0.1.3-3+b4 282.1 kB2,147.0 kB [zoznam súborov]
mips64el 0.0.1.3-3+b3 247.1 kB2,865.0 kB [zoznam súborov]
mipsel 0.0.1.3-3+b3 227.8 kB2,142.0 kB [zoznam súborov]
powerpcspe (neoficiálny port) 0.0.1.3-1 260.9 kB2,320.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 0.0.1.3-3+b3 234.8 kB2,978.0 kB [zoznam súborov]
ppc64el 0.0.1.3-3+b3 249.1 kB2,690.0 kB [zoznam súborov]
riscv64 (neoficiálny port) 0.0.1.3-3+b2 369.7 kB4,559.0 kB [zoznam súborov]
s390x 0.0.1.3-3+b3 251.6 kB2,671.0 kB [zoznam súborov]
sh4 (neoficiálny port) 0.0.1.3-3 256.9 kB2,014.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 0.0.1.3-3+b3 315.7 kB4,752.0 kB [zoznam súborov]
x32 (neoficiálny port) 0.0.1.3-3+b3 336.4 kB2,286.0 kB [zoznam súborov]