X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Core2Core.tex;h=b404a03a74ea3e538f1d15b6f79fbc381b8608bb;hp=e32a90687bf42dfdd5864eaed27fc3355f79c57b;hb=c86ed93ead8fc3a01bc69e29b60981aad907bf99;hpb=99442c2b5e3f29275d53c14969741c477ecc30af

diff --git a/Core2Core.tex b/Core2Core.tex
index e32a906..b404a03 100644
--- a/Core2Core.tex
+++ b/Core2Core.tex
@@ -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