feat: add quot_precheck for expression tree elaborators (binop%, etc.)#3078
Merged
Kha merged 2 commits intoleanprover:masterfrom kmill:binop_quote_precheckDec 18, 2023
+107
Commits
Commits on Dec 15, 2023
Commits on Dec 18, 2023
- committed