Skip to content

Implement incoherent instance MonadLogic Logic and elaborate (>>-) in… #142

Implement incoherent instance MonadLogic Logic and elaborate (>>-) in…

Implement incoherent instance MonadLogic Logic and elaborate (>>-) in… #142