From: Matthijs Kooijman Date: Thu, 2 Jul 2009 09:33:26 +0000 (+0200) Subject: Add TODO. X-Git-Tag: final-thesis~313 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=c86ed93ead8fc3a01bc69e29b60981aad907bf99;p=matthijs%2Fmaster-project%2Freport.git Add TODO. --- 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