Add TODO.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 2 Jul 2009 09:33:26 +0000 (11:33 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 2 Jul 2009 09:33:26 +0000 (11:33 +0200)
Core2Core.tex

index e32a906..b404a03 100644 (file)
@@ -260,6 +260,9 @@ is specified as a number of conditions (above the horizontal line) and a
 number of conclusions (below the horizontal line). The details of using
 this notation are still a bit fuzzy, so comments are welcom.
 
+TODO: Formally describe the "apply to every (sub)expression" in terms of
+rules with full transformations in the conditions.
+
 \subsection{η-abstraction}
 This transformation makes sure that all arguments of a function-typed
 expression are named, by introducing lambda expressions. When combined with