Remove TODO (links were made non-bold a few commits back).
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 10:04:42 +0000 (11:04 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 10:04:42 +0000 (11:04 +0100)
Outline

diff --git a/Outline b/Outline
index ebe444ba7e6169c3d86545e1d218bf71c58bcea6..c9f6638f436a601d6cbdf08268bedfa3749a9a8d 100644 (file)
--- a/Outline
+++ b/Outline
@@ -55,7 +55,6 @@ TODO: Variable vs binder
 TODO: simplification -> Normalisation?
 TODO: Use saturated (application) instead of complete (application)?
 TODO: core => Core
-TODO: Make interaction links not bold
 TODO: Say something about implementation differences with transformation specs
 TODO: Say something about the builtin functions somewhere (ref: christiaan)
 TODO: Future work: Use Cλash