From 64a1f120d0f1e8cd66c42c6a6b49742587d76582 Mon Sep 17 00:00:00 2001
From: Leon Vatthauer <leon.vatthauer@fau.de>
Date: Sat, 19 Aug 2023 12:19:14 +0200
Subject: [PATCH] Changed folder structure

---
 Makefile                                                  | 8 ++++----
 ElgotAlgebra.lagda.md => src/ElgotAlgebra.lagda.md        | 0
 ElgotAlgebras.agda => src/ElgotAlgebras.agda              | 0
 ElgotIteration.agda => src/ElgotIteration.agda            | 0
 {Monad => src/Monad}/ElgotMonad.agda                      | 0
 {Monad => src/Monad}/Instance/Delay.lagda.md              | 0
 MonadK.lagda.md => src/MonadK.lagda.md                    | 0
 .../UniformIterationAlgebra.agda                          | 0
 .../UniformIterationAlgebras.agda                         | 0
 9 files changed, 4 insertions(+), 4 deletions(-)
 rename ElgotAlgebra.lagda.md => src/ElgotAlgebra.lagda.md (100%)
 rename ElgotAlgebras.agda => src/ElgotAlgebras.agda (100%)
 rename ElgotIteration.agda => src/ElgotIteration.agda (100%)
 rename {Monad => src/Monad}/ElgotMonad.agda (100%)
 rename {Monad => src/Monad}/Instance/Delay.lagda.md (100%)
 rename MonadK.lagda.md => src/MonadK.lagda.md (100%)
 rename UniformIterationAlgebra.agda => src/UniformIterationAlgebra.agda (100%)
 rename UniformIterationAlgebras.agda => src/UniformIterationAlgebras.agda (100%)

diff --git a/Makefile b/Makefile
index 25fbf27..3ae098b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,12 @@
 .PHONY: all clean
 
-all: MonadK.lagda.md
-	agda --html --html-dir=out MonadK.lagda.md --html-highlight=auto
-	agda --html --html-dir=out ElgotAlgebra.lagda.md --html-highlight=auto
+all: Everything.agda
+	agda --html --html-dir=out Everything.agda --html-highlight=auto
 	pandoc out/MonadK.md -s -c Agda.css -o out/MonadK.html
 	pandoc out/ElgotAlgebra.md -s -c Agda.css -o out/ElgotAlgebra.html
 
 clean:
+	rm Everything.agda
 	rm -rf out/*
 
 open:
@@ -14,4 +14,4 @@ open:
 	firefox out/ElgotAlgebra.html
 
 Everything.agda:
-	git ls-tree --full-tree -r --name-only HEAD | grep '^[^\.]*.agda' | sed -e 's|^[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' | LC_COLLATE='C' sort > Everything.agda
\ No newline at end of file
+	git ls-tree --full-tree -r --name-only HEAD | grep '^src/[^\.]*.agda' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' | LC_COLLATE='C' sort > Everything.agda
\ No newline at end of file
diff --git a/ElgotAlgebra.lagda.md b/src/ElgotAlgebra.lagda.md
similarity index 100%
rename from ElgotAlgebra.lagda.md
rename to src/ElgotAlgebra.lagda.md
diff --git a/ElgotAlgebras.agda b/src/ElgotAlgebras.agda
similarity index 100%
rename from ElgotAlgebras.agda
rename to src/ElgotAlgebras.agda
diff --git a/ElgotIteration.agda b/src/ElgotIteration.agda
similarity index 100%
rename from ElgotIteration.agda
rename to src/ElgotIteration.agda
diff --git a/Monad/ElgotMonad.agda b/src/Monad/ElgotMonad.agda
similarity index 100%
rename from Monad/ElgotMonad.agda
rename to src/Monad/ElgotMonad.agda
diff --git a/Monad/Instance/Delay.lagda.md b/src/Monad/Instance/Delay.lagda.md
similarity index 100%
rename from Monad/Instance/Delay.lagda.md
rename to src/Monad/Instance/Delay.lagda.md
diff --git a/MonadK.lagda.md b/src/MonadK.lagda.md
similarity index 100%
rename from MonadK.lagda.md
rename to src/MonadK.lagda.md
diff --git a/UniformIterationAlgebra.agda b/src/UniformIterationAlgebra.agda
similarity index 100%
rename from UniformIterationAlgebra.agda
rename to src/UniformIterationAlgebra.agda
diff --git a/UniformIterationAlgebras.agda b/src/UniformIterationAlgebras.agda
similarity index 100%
rename from UniformIterationAlgebras.agda
rename to src/UniformIterationAlgebras.agda