Parse pal

Nicholas Drozd nicholasdrozd at gmail.com
Tue Nov 30 14:57:07 UTC 2021


I was stuck in the car driving through Ohio when you posted this --
the perfect time for a 9,000-word Begriffs article!

As for my own parsing needs, I ended up writing a Turing machine
parser in Idris using parser combinators:

  - https://github.com/nickdrozd/busy-beaver-stuff/blob/main/idris/Parse.idr


More information about the Friends mailing list