lean4-metaprogramming-book icon indicating copy to clipboard operation
lean4-metaprogramming-book copied to clipboard
verified publisher icon leanprover-community

Parentheses cannot be matched in unexpander

Open lambda-fairy opened this issue 1 year ago • 0 comments

See Zulip thread.

lambda-fairy avatar Feb 16 '25 05:02 lambda-fairy