alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: haskell-logict  ]

Paket: libghc-logict-dev (0.8.0.0-1 och andra)

Länkar för libghc-logict-dev

Screenshot

Debianresurser:

Hämta källkodspaketet haskell-logict:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med libghc-logict-dev

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

Hämta libghc-logict-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 0.8.0.0-1+b1 137,6 kbyte1.491,0 kbyte [filförteckning]
amd64 0.8.0.0-1+b1 93,6 kbyte849,0 kbyte [filförteckning]
arm64 0.8.0.0-1+b1 96,3 kbyte1.026,0 kbyte [filförteckning]
armel 0.8.0.0-1+b2 116,3 kbyte1.087,0 kbyte [filförteckning]
armhf 0.8.0.0-1+b2 114,9 kbyte1.075,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 0.8.0.0-1+b2 191,1 kbyte1.548,0 kbyte [filförteckning]
i386 0.8.0.0-1+b1 146,5 kbyte1.222,0 kbyte [filförteckning]
ia64 (inofficiell anpassning) 0.8.0.0-1+b1 172,3 kbyte2.611,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 0.7.1.0-1+b3 98,4 kbyte846,0 kbyte [filförteckning]
mips64el 0.8.0.0-1+b1 124,9 kbyte1.467,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 0.8.0.0-1+b1 124,8 kbyte1.521,0 kbyte [filförteckning]
ppc64el 0.8.0.0-1+b1 123,4 kbyte1.389,0 kbyte [filförteckning]
riscv64 0.8.0.0-1+b2 154,8 kbyte1.625,0 kbyte [filförteckning]
s390x 0.8.0.0-1+b1 148,1 kbyte1.715,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 0.6.0.3-1 92,4 kbyte873,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 0.8.0.0-1+b5 174,3 kbyte2.071,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 0.7.1.0-1 107,9 kbyte922,0 kbyte [filförteckning]