lean4-parser icon indicating copy to clipboard operation
lean4-parser copied to clipboard
Published 5 months ago • verified publisher icon fgdorais

Missing `LawfulMonad` instance

Open fgdorais opened this issue 1 year ago • 0 comments

The monad ParserT ε σ τ m should inherit a LawfulMonad instance provided m has one.

fgdorais avatar Jun 03 '24 00:06 fgdorais