A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
Why do you think that https://github.com/stu214634/Chesskell 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/stu214634/Chesskell is a good alternative to logict-sequence