Say something about using top level function instead of binder.

diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex
index 3179cfee99cf4883726c035a5c10cc118e269db0..f5e2615a5b404e17920cd3779e88539df9db4be9 100644 (file)
--- a/Chapters/HardwareDescription.tex
+++ b/Chapters/HardwareDescription.tex
@@ -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
       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:
 
 
       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: Future work: Use Cλash
 TODO: Abstract
 TODO: Preface

-TODO: Top level function -> top level binder