Point out the workbook.

axch · May 25, 2013 · 66e75b6 · 66e75b6
1 parent c4edd77
commit 66e75b6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -17,8 +17,8 @@ In addition, Rules
 - is [extensible](#extension) to more kinds of patterns;
 - includes example term-rewriting [simplifiers](#simplifiers) for logic and algebra;
   and
-- is itself meant as a pedagogical illustration of a way to write such
-  engines.
+- is itself meant as a [pedagogical illustration](http://web.mit.edu/~axch/www/rules/workbook.pdf)
+  of a way to write such engines.
 
 Table of Contents
 -----------------