search

latte-central / latte-kernel

The (very) small kernel of the LaTTe proof assistant
MIT License
11 stars 4 forks source link

First draft at `readable-quotation`. Doesn't work? #20

Closed AustenPrinciple closed 4 years ago

AustenPrinciple commented 4 years ago

The few additional tests show the problem: All tests pass except the two after the comment