A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
Why do you think that https://github.com/unisonweb/unison is a good alternative to logict-sequence
A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
Why do you think that https://github.com/unisonweb/unison is a good alternative to logict-sequence