[Haskell-cafe] How to do reversible parsing?

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


Hi.

> 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
https://github.com/safinaskar


More information about the Haskell-Cafe mailing list