From 66e75b6f7c77ec885ad23256eefd310a4caab623 Mon Sep 17 00:00:00 2001 From: Alexey Radul Date: Sat, 25 May 2013 09:01:33 -0400 Subject: [PATCH] Point out the workbook. --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 9644ae9..6e86df0 100644 --- 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 -----------------