From 649d7dcb13a29510817c5c9a5c89583d2ccc7c4d Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Mon, 29 Oct 2018 10:17:05 +0000
Subject: [PATCH] small fix to Assignment 4

---
 hs/agda-count.hs       | 3 +++
 tspl/Assignment4.lagda | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/hs/agda-count.hs b/hs/agda-count.hs
index ea62b5c3..b7355cd3 100644
--- a/hs/agda-count.hs
+++ b/hs/agda-count.hs
@@ -33,6 +33,9 @@ agda =  count (prefix begin) (prefix end) . lines
   begin  =  "\\begin{code}"
   end    =  "\\end{code}"
 
+nonblank :: String -> Bool
+nonblank =  not . all (== ' ')
+
 wc :: String -> Int
 wc =  length . lines
 
diff --git a/tspl/Assignment4.lagda b/tspl/Assignment4.lagda
index 8d044a27..9b83328f 100644
--- a/tspl/Assignment4.lagda
+++ b/tspl/Assignment4.lagda
@@ -52,7 +52,7 @@ open import Relation.Nullary using (¬_; Dec; yes; no)
 
 
 \begin{code}
-module More where
+module DeBruijn where
 \end{code}
 
 Remember to indent all code by two spaces.