alla flaggor
stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Källkod: haskell-djinn-lib  ]

Paket: libghc-djinn-lib-dev (0.0.1.3-3 och andra)

Länkar för libghc-djinn-lib-dev

Screenshot

Debianresurser:

Hämta källkodspaketet haskell-djinn-lib:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libghc-djinn-lib-dev

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libghc-djinn-lib-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 0.0.1.3-3+b1 272,4 kbyte2.944,0 kbyte [filförteckning]
amd64 0.0.1.3-3+b3 180,8 kbyte1.438,0 kbyte [filförteckning]
arm64 0.0.1.3-3+b3 201,5 kbyte1.887,0 kbyte [filförteckning]
armel 0.0.1.3-3+b4 198,0 kbyte1.489,0 kbyte [filförteckning]
armhf 0.0.1.3-3+b5 197,4 kbyte1.465,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 0.0.1.3-3+b4 356,0 kbyte3.159,0 kbyte [filförteckning]
i386 0.0.1.3-3+b3 180,6 kbyte1.145,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 0.0.1.3-3+b4 282,1 kbyte2.147,0 kbyte [filförteckning]
mips64el 0.0.1.3-3+b3 247,1 kbyte2.865,0 kbyte [filförteckning]
mipsel 0.0.1.3-3+b3 227,8 kbyte2.142,0 kbyte [filförteckning]
powerpcspe (inofficiell anpassning) 0.0.1.3-1 260,9 kbyte2.320,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 0.0.1.3-3+b3 234,8 kbyte2.978,0 kbyte [filförteckning]
ppc64el 0.0.1.3-3+b3 249,1 kbyte2.690,0 kbyte [filförteckning]
riscv64 (inofficiell anpassning) 0.0.1.3-3+b2 369,7 kbyte4.559,0 kbyte [filförteckning]
s390x 0.0.1.3-3+b3 251,6 kbyte2.671,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 0.0.1.3-3 256,9 kbyte2.014,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 0.0.1.3-3+b3 315,7 kbyte4.752,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 0.0.1.3-3+b3 336,4 kbyte2.286,0 kbyte [filförteckning]