./devel/hs-logict, Backtracking logic-programming monad

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2022Q4, Version: 0.7.1.0nb1, Package name: hs-logict-0.7.1.0nb1, Maintainer: pkgsrc-users

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

Master sites:

Filesize: 14.791 KB

Version history: (Expand)