X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FHardwareDescription.tex;fp=Chapters%2FHardwareDescription.tex;h=f5e2615a5b404e17920cd3779e88539df9db4be9;hp=3179cfee99cf4883726c035a5c10cc118e269db0;hb=f44e69a8fb636846ca36d0cfbe3247e30a3aa34e;hpb=14ba857230ddd3bed3e9fbdde81ad2f693488493 diff --git a/Chapters/HardwareDescription.tex b/Chapters/HardwareDescription.tex index 3179cfe..f5e2615 100644 --- 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 - 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: