Say something about using top level function instead of binder.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 17:18:07 +0000 (18:18 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 8 Dec 2009 17:18:07 +0000 (18:18 +0100)
Chapters/HardwareDescription.tex
Outline

index 3179cfee99cf4883726c035a5c10cc118e269db0..f5e2615a5b404e17920cd3779e88539df9db4be9 100644 (file)
@@ -152,7 +152,8 @@ and3 a b c = and (and a b) c
       In Haskell, there is no sharp distinction between a variable and a
       function: a function is just a variable (binder) with a function
       type. This means that a top level function is just any top level
-      binder with a function type.
+      binder with a function type. This also means that sometimes top level
+      function will be used when top level binder is really meant.
 
       As an example, consider the following Haskell snippet:
 
diff --git a/Outline b/Outline
index e24089c63183f41f3dcb433151e108de7caf6338..4844ad214953ffc9d3d82b7096d40b606b79fa4f 100644 (file)
--- a/Outline
+++ b/Outline
@@ -58,4 +58,3 @@ TODO: Say something about the builtin functions somewhere (ref: christiaan)
 TODO: Future work: Use Cλash
 TODO: Abstract
 TODO: Preface
-TODO: Top level function -> top level binder