RedPRL/cooltt

⛳ Move the parsing of hole names back to the LR(1) parser?

Closed this issue · 1 comments

favonia commented
⛳ Move the parsing of hole names back to the LR(1) parser?
favonia commented

Not planned now.