--- a/projects.html Thu Jun 21 16:10:21 2012 +0100
+++ b/projects.html Fri Jun 29 12:05:31 2012 +0100
@@ -242,6 +242,9 @@
gives a modern introduction to derivative based lexing. Derivative-based
parsing is explained <A HREF="http://arxiv.org/pdf/1010.5023v1">here</A>
and <A HREF="http://matt.might.net/papers/might2011derivatives.pdf">here</A>.
+ A proposal for derivative PEG-parsing is
+ <A HREF="http://fmota.eu/2011/01/07/PEG-derivatives.html">here</a>. The mailing
+ list about PEGs is <A HREF="https://lists.csail.mit.edu/pipermail/peg/">here</A>.
</p>
<li> <H4>[CU6] Equivalence Checking of Regular Expressions using the Method by Antimirov and Mosses</H4>