alle opties
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Bron: haskell-logict  ]

Pakket: libghc-logict-dev (0.8.1.0-1 en anderen)

Verwijzigingen voor libghc-logict-dev

Screenshot

Debian bronnen:

Het bronpakket haskell-logict downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

Backtracking logic-programming monad

It is a continuation-based, backtracking, logic programming monad. An adaptation of the two-continuation implementation found in the paper Backtracking, Interleaving, and Terminating Monad Transformers available here: http://okmij.org/ftp/papers/LogicT.pdf

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

Andere aan libghc-logict-dev gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

libghc-logict-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
alpha (unofficial port) 0.8.1.0-1 131,6 kB1.452,0 kB [overzicht]
amd64 0.8.1.0-1 89,9 kB831,0 kB [overzicht]
arm64 0.8.1.0-1 92,1 kB1.001,0 kB [overzicht]
armel 0.8.1.0-1 115,4 kB1.073,0 kB [overzicht]
armhf 0.8.1.0-1 114,3 kB1.060,0 kB [overzicht]
hppa (unofficial port) 0.8.1.0-1 181,1 kB1.468,0 kB [overzicht]
i386 0.8.1.0-1 141,4 kB1.173,0 kB [overzicht]
ia64 (unofficial port) 0.8.0.0-1+b1 172,3 kB2.611,0 kB [overzicht]
m68k (unofficial port) 0.7.1.0-1+b3 98,4 kB846,0 kB [overzicht]
mips64el 0.8.1.0-1 118,3 kB1.423,0 kB [overzicht]
ppc64 (unofficial port) 0.8.1.0-1 111,9 kB1.438,0 kB [overzicht]
ppc64el 0.8.1.0-1 113,7 kB1.274,0 kB [overzicht]
riscv64 0.8.1.0-1 151,2 kB1.572,0 kB [overzicht]
s390x 0.8.1.0-1 145,8 kB1.667,0 kB [overzicht]
sh4 (unofficial port) 0.6.0.3-1 92,4 kB873,0 kB [overzicht]
sparc64 (unofficial port) 0.8.1.0-1 162,3 kB2.388,0 kB [overzicht]
x32 (unofficial port) 0.7.1.0-1 107,9 kB922,0 kB [overzicht]