3 ms·
There is an extraordinarily minor typo: “PM-LIsp” I point it out only because your work here is so good that it feels wrong not to smooth out any small splinte
by sillysaurusx 6y ago
There is an extraordinarily minor typo: “PM-LIsp”
I point it out only because your work here is so good that it feels wrong not to smooth out any small splinters.
Thank you for making this!
- stopachka 6y agoOi, thanks for the kind words and the catch! Updated (should take a few minutes to show up)
- marv3lls 6y agoI think I maybe noticed another typo... The last two axioms don't have matching parentheses? It looks like one more is opened than closed if I counted right.
- deleted 6y ago[deleted]