[Ur] Parsing text files

[Adam Chlipala]

On 09/17/2018 04:11 PM, Fabrice Leal wrote:
> I wanted to parse a text file with a non trivial syntax 
> (https://en.wikipedia.org/wiki/Portable_Game_Notation) and was 
> wondering what would be the best way to achieve this. The best option 
> seems to be maybe FFI with C or haskell ... would it be too crazy to 
> do this with plain urweb?

I don't see what would be wrong with parsing in Ur/Web directly. That's 
how I've always done parsing in Ur/Web apps.