From f467e4cca6440fd1aedb1651d7c11f9813a5c8cb Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sat, 14 Apr 2012 14:51:09 -0700 Subject: [PATCH] GArrowSkeleton: add comment --- examples/GArrowSkeleton.hs | 4 +++- examples/{KappaDemo.hs => IFLDemos.hs} | 0 2 files changed, 3 insertions(+), 1 deletion(-) rename examples/{KappaDemo.hs => IFLDemos.hs} (100%) 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 -- 1.7.10.4