X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowSkeleton.hs;fp=examples%2FGArrowSkeleton.hs;h=9f42e8a10fa4fe6c68f3df5047fdda54f3b2f79b;hp=dd7937ba61ab5412cd4669a4f2514a9e702763f5;hb=f467e4cca6440fd1aedb1651d7c11f9813a5c8cb;hpb=6eacd82007b7dacd704e50e5da0a9c988827f86c

diff --git a/examples/GArrowSkeleton.hs b/examples/GArrowSkeleton.hs
index dd7937b..9f42e8a 100644
--- a/examples/GArrowSkeleton.hs
+++ b/examples/GArrowSkeleton.hs
@@ -18,9 +18,11 @@
 -- behavior below -- you'd get (GAS_comp f GAS_id) instead of f.  In
 -- practice this means that the user must be prepared for the skeleton
 -- TikZ diagram to be a nondeterministically-chosen boxes-and-wires
--- diagram which ks *equivalent to* the term, rather than structurally
+-- diagram which is *equivalent to* the term, rather than structurally
 -- exactly equal to it.
 --
+-- A normal form theorem and normalization algorithm are being prepared.
+--
 module GArrowSkeleton (GArrowSkeleton(..), optimize, beautify)
 where
 import Prelude hiding ( id, (.), lookup, repeat )