all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: haskell-logict  ]

Package: libghc-logict-prof (0.8.0.0-1 and others)

Links for libghc-logict-prof

Screenshot

Debian Resources:

Download Source Package haskell-logict:

Maintainers:

External Resources:

Similar packages:

Backtracking logic-programming monad; profiling libraries

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, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

Other Packages Related to libghc-logict-prof

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-logict-prof

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 0.8.0.0-1+b1 131.5 kB1,380.0 kB [list of files]
amd64 0.8.0.0-1+b1 94.6 kB892.0 kB [list of files]
arm64 0.8.0.0-1+b1 109.4 kB1,129.0 kB [list of files]
armel 0.8.0.0-1+b2 135.5 kB1,063.0 kB [list of files]
armhf 0.8.0.0-1+b2 134.4 kB1,046.0 kB [list of files]
hppa (unofficial port) 0.8.0.0-1+b2 164.1 kB1,261.0 kB [list of files]
i386 0.8.0.0-1+b1 126.1 kB966.0 kB [list of files]
ia64 (unofficial port) 0.8.0.0-1+b1 203.6 kB2,874.0 kB [list of files]
m68k (unofficial port) 0.7.1.0-1+b3 96.6 kB756.0 kB [list of files]
mips64el 0.8.0.0-1+b1 115.8 kB1,269.0 kB [list of files]
ppc64 (unofficial port) 0.8.0.0-1+b1 113.3 kB1,419.0 kB [list of files]
ppc64el 0.8.0.0-1+b1 117.0 kB1,380.0 kB [list of files]
riscv64 0.8.0.0-1+b1 182.7 kB2,016.0 kB [list of files]
s390x 0.8.0.0-1+b1 142.9 kB1,673.0 kB [list of files]
sh4 (unofficial port) 0.6.0.3-1 84.8 kB667.0 kB [list of files]
sparc64 (unofficial port) 0.8.0.0-1+b5 160.5 kB2,076.0 kB [list of files]
x32 (unofficial port) 0.7.1.0-1 93.0 kB726.0 kB [list of files]