Parse pal

Nicholas Drozd nicholasdrozd at
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:


More information about the Friends mailing list