GArrowSkeleton: add comment

[coq-hetmet.git] / examples / IFLDemos.hs

diff --git a/examples/KappaDemo.hs b/examples/IFLDemos.hs
similarity index 100%
rename from examples/KappaDemo.hs
rename to examples/IFLDemos.hs