moved DeBruijn to src so it will be published

2018-02-24 19:50:20 +01:00 · 2018-02-24 19:50:20 +01:00 · 657feddf46
commit 657feddf46
parent b453ef1efc
2 changed files with 2 additions and 0 deletions
--- a/src/extra/DeBruijn.lagda
+++ b/src/extra/DeBruijn.lagda
--- 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