https://github.com/dagit/logict-sequence

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
https://github.com/dagit/logict-sequence

haskell logict

Last synced: about 3 hours ago
JSON representation

A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper

• Host: GitHub
• URL: https://github.com/dagit/logict-sequence
• Owner: dagit
• License: mit
• Created: 2021-07-20T03:37:51.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2022-12-06T06:35:22.000Z (almost 2 years ago)
• Last Synced: 2024-10-01T12:10:27.027Z (about 1 month ago)
• Topics: haskell, logict
• Language: Haskell
• Homepage:
• Size: 107 KB
• Stars: 9
• Watchers: 3
• Forks: 3
• Open Issues: 17
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
[![Haskell-CI](https://github.com/dagit/logict-sequence/actions/workflows/ci.yml/badge.svg)](https://github.com/dagit/logict-sequence/actions/workflows/ci.yml)

# LogicT-Sequence

Provides a variant of the `LogicT` monad that should have

asymptotically better performance when frequently observing

results. This is based on the the [Reflection without Remorse

paper.](http://okmij.org/ftp/Haskell/zseq.pdf) I created this package

mainly because the code from the paper was not easy to use as a

library.

Please see the [LogicT paper](http://okmij.org/ftp/papers/LogicT.pdf)

for examples on how to use this monad.