From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 14 Apr 2012 21:51:09 +0000 (-0700)
Subject: GArrowSkeleton: add comment
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=f467e4cca6440fd1aedb1651d7c11f9813a5c8cb

GArrowSkeleton: add comment
---

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 )
diff --git a/examples/KappaDemo.hs b/examples/IFLDemos.hs
similarity index 100%
rename from examples/KappaDemo.hs
rename to examples/IFLDemos.hs