BSD Ports

devel/hs-logict 0.8.2.0nb3 NetBSD

Backtracking logic-programming monad

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
License
modified-bsd
Categories
devel
Package size
263.8 KiB, 3101.6 KiB installed

Description

Adapted from the paper "Backtracking, Interleaving, and Terminating Monad Transformers" by Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry.

Install

Binary package:

pkgin install hs-logict

From pkgsrc:

cd /usr/pkgsrc/devel/hs-logict && make install clean

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

RepositoryVersion
NetBSD 10.1 x86_640.8.2.0nb3
NetBSD 10.1 aarch640.8.2.0nb3
SmartOS / illumos x86_640.8.2.0nb3
macOS 15 arm640.8.2.0nb3

Dependencies

Run dependencies 1
Required by 1