mgajda/monad-lgbt

Monad transformers for combining local and global state with backtracking/backjumping/continuations

HaskellBSD-2-Clause