3 ms·

Nice write-up. I'm the author of the mentioned peano and typenum libraries, if anyone has any questions.

• zozbot234 3y ago
  The problem with this peano arithmetic thing is that it only goes up to 88 https://upload.wikimedia.org/wikipedia/commons/b/bd/D274.jpg https://upload.wikimedia.org/wikipedia/commons/b/bd/D274.jpg
  • CoastalCoder 3y ago
    If you build rustc with MIDI support enabled, it goes up to 100.
    • wegfawefgawefg 3y ago
      mine goes to 11