From 657feddf460711b7ab6ffcd0b5709fa2f9553b1c Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Sat, 24 Feb 2018 19:50:20 +0100
Subject: [PATCH] moved DeBruijn to src so it will be published

---
 src/{extra => }/DeBruijn.lagda | 0
 src/Naturals.lagda             | 2 ++
 2 files changed, 2 insertions(+)
 rename src/{extra => }/DeBruijn.lagda (100%)

diff --git a/src/extra/DeBruijn.lagda b/src/DeBruijn.lagda
similarity index 100%
rename from src/extra/DeBruijn.lagda
rename to src/DeBruijn.lagda
diff --git a/src/Naturals.lagda b/src/Naturals.lagda
index 10cb8a54..ad50febc 100644
--- a/src/Naturals.lagda
+++ b/src/Naturals.lagda
@@ -12,6 +12,8 @@ But the number of stars is finite, while natural numbers are infinite.
 Count all the stars, and you will still have as many natural numbers
 left over as you started with.
 
+[This line added to test make]
+
 
 ## The naturals are an inductive datatype