48 ms·

This brought a big smile to read, thank you :)

• 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 ago
    Oi, thanks for the kind words and the catch! Updated (should take a few minutes to show up)
    • marv3lls 6y ago
      I 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]