lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

emacs mode warnings

Open fblanqui opened this issue 2 years ago • 0 comments 

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

fblanqui avatar Feb 02 '24 17:02 fblanqui