emacs mode warnings - Githubissues

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Other

269 stars 35 forks source link

Open fblanqui opened 8 months ago

fblanqui commented 8 months ago

Warning (smie): token simplify is both opener and neither
Warning (smie): token [ is both opener and neither