все параметры
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Источник: haskell-logict  ]

Пакет: libghc-logict-dev (0.7.1.0-1 и другие)

Ссылки для libghc-logict-dev

Screenshot

Ресурсы Debian:

Исходный код haskell-logict:

Сопровождающие:

Внешние ресурсы:

Подобные пакеты:

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.

Другие пакеты, относящиеся к libghc-logict-dev

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libghc-logict-dev

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
mips64el 0.7.1.0-1+b2 89,2 Кб1 016,0 Кб [список файлов]