From c86ed93ead8fc3a01bc69e29b60981aad907bf99 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman
Date: Thu, 2 Jul 2009 11:33:26 +0200
Subject: [PATCH] Add TODO.
---
Core2Core.tex | 3 +++
1 file changed, 3 insertions(+)
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
--
2.20.1