[Haskell-cafe] How to do reversible parsing?

Askar Safin safinaskar at mail.ru
Wed Jan 6 22:53:56 UTC 2021


> How do you want to be sure it is the right one?
I don't want to parse Isabelle code. I want to create language similar to Isabelle.

Askar Safin

More information about the Haskell-Cafe mailing list