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