3 ms·
I kind of thought Coco/R was a dead project but it seems dafny is using it as the parser generator library. …have to poke around a bit methinks.
by UncleEntity 4y ago
I kind of thought Coco/R was a dead project but it seems dafny is using it as the parser generator library.
…have to poke around a bit methinks.