From be0971ae425eea2b4bd65e1e0ecc50df0ea2e4f9 Mon Sep 17 00:00:00 2001 From: Leon Vatthauer Date: Tue, 5 Dec 2023 18:07:06 +0100 Subject: [PATCH] Fixed folder structure --- {src => agda}/.envrc | 0 {src => agda}/Agda.css | 0 {src => agda}/Makefile | 6 +++--- {src => agda}/bsc.agda-lib | 0 {src => agda}/flake.lock | 0 {src => agda}/flake.nix | 0 {src => agda}/shell.nix | 0 {src => agda/src}/Algebra/Elgot.lagda.md | 0 {src => agda/src}/Algebra/Elgot/Free.lagda.md | 0 {src => agda/src}/Category/Ambient.lagda.md | 0 {src => agda/src}/Category/Ambient/Setoid.lagda.md | 0 .../src}/Category/Construction/ElgotAlgebras.lagda.md | 0 .../src}/Category/Construction/PreElgotMonads.lagda.md | 0 .../Category/Construction/StrongPreElgotMonads.lagda.md | 0 {src => agda/src}/Monad/Commutative.agda | 0 {src => agda/src}/Monad/Instance/Delay.lagda.md | 0 {src => agda/src}/Monad/Instance/Delay/Commutative.lagda.md | 0 {src => agda/src}/Monad/Instance/Delay/Quotienting.lagda.md | 0 {src => agda/src}/Monad/Instance/Delay/Strong.lagda.md | 0 {src => agda/src}/Monad/Instance/K.lagda.md | 0 {src => agda/src}/Monad/Instance/K/Commutative.lagda.md | 0 .../src}/Monad/Instance/K/EquationalLifting.lagda.md | 0 {src => agda/src}/Monad/Instance/K/Instance/Delay'.lagda.md | 0 {src => agda/src}/Monad/Instance/K/Instance/Delay.lagda.md | 0 {src => agda/src}/Monad/Instance/K/Instance/Maybe.lagda.md | 0 {src => agda/src}/Monad/Instance/K/Kleene.lagda.md | 0 {src => agda/src}/Monad/Instance/K/PreElgot.lagda.md | 0 {src => agda/src}/Monad/Instance/K/Strong.lagda.md | 0 {src => agda/src}/Monad/Instance/K/StrongPreElgot.lagda.md | 0 {src => agda/src}/Monad/PreElgot.lagda.md | 0 {src => agda/src}/index.lagda.md | 0 31 files changed, 3 insertions(+), 3 deletions(-) rename {src => agda}/.envrc (100%) rename {src => agda}/Agda.css (100%) rename {src => agda}/Makefile (84%) rename {src => agda}/bsc.agda-lib (100%) rename {src => agda}/flake.lock (100%) rename {src => agda}/flake.nix (100%) rename {src => agda}/shell.nix (100%) rename {src => agda/src}/Algebra/Elgot.lagda.md (100%) rename {src => agda/src}/Algebra/Elgot/Free.lagda.md (100%) rename {src => agda/src}/Category/Ambient.lagda.md (100%) rename {src => agda/src}/Category/Ambient/Setoid.lagda.md (100%) rename {src => agda/src}/Category/Construction/ElgotAlgebras.lagda.md (100%) rename {src => agda/src}/Category/Construction/PreElgotMonads.lagda.md (100%) rename {src => agda/src}/Category/Construction/StrongPreElgotMonads.lagda.md (100%) rename {src => agda/src}/Monad/Commutative.agda (100%) rename {src => agda/src}/Monad/Instance/Delay.lagda.md (100%) rename {src => agda/src}/Monad/Instance/Delay/Commutative.lagda.md (100%) rename {src => agda/src}/Monad/Instance/Delay/Quotienting.lagda.md (100%) rename {src => agda/src}/Monad/Instance/Delay/Strong.lagda.md (100%) rename {src => agda/src}/Monad/Instance/K.lagda.md (100%) rename {src => agda/src}/Monad/Instance/K/Commutative.lagda.md (100%) rename {src => agda/src}/Monad/Instance/K/EquationalLifting.lagda.md (100%) rename {src => agda/src}/Monad/Instance/K/Instance/Delay'.lagda.md (100%) rename {src => agda/src}/Monad/Instance/K/Instance/Delay.lagda.md (100%) rename {src => agda/src}/Monad/Instance/K/Instance/Maybe.lagda.md (100%) rename {src => agda/src}/Monad/Instance/K/Kleene.lagda.md (100%) rename {src => agda/src}/Monad/Instance/K/PreElgot.lagda.md (100%) rename {src => agda/src}/Monad/Instance/K/Strong.lagda.md (100%) rename {src => agda/src}/Monad/Instance/K/StrongPreElgot.lagda.md (100%) rename {src => agda/src}/Monad/PreElgot.lagda.md (100%) rename {src => agda/src}/index.lagda.md (100%) diff --git a/src/.envrc b/agda/.envrc similarity index 100% rename from src/.envrc rename to agda/.envrc diff --git a/src/Agda.css b/agda/Agda.css similarity index 100% rename from src/Agda.css rename to agda/Agda.css diff --git a/src/Makefile b/agda/Makefile similarity index 84% rename from src/Makefile rename to agda/Makefile index 4aebfc4..3a1a28f 100644 --- a/src/Makefile +++ b/agda/Makefile @@ -9,7 +9,7 @@ pandoc: public/*.md ) agda: Everything.agda - agda --html --html-dir=public index.lagda.md --html-highlight=auto -i. + agda --html --html-dir=public src/index.lagda.md --html-highlight=auto -i. rm -f public/Agda.css cp Agda.css public/Agda.css @@ -26,8 +26,8 @@ push: all mv bsc-thesis public Everything.agda: - echo "{-# OPTIONS --guardedness #-}" > Everything.agda - git ls-tree --full-tree -r --name-only HEAD | egrep '^src/[^\.]*.l?agda(\.md)?' | grep -v 'index.lagda.md' | grep -v 'bsc.agda-lib' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' -e 's/..md//' | LC_COLLATE='C' sort >> Everything.agda + echo "{-# OPTIONS --guardedness #-}" > src/Everything.agda + git ls-tree --full-tree -r --name-only HEAD | egrep '^src/[^\.]*.l?agda(\.md)?' | grep -v 'index.lagda.md' | grep -v 'bsc.agda-lib' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' -e 's/..md//' | LC_COLLATE='C' sort >> src/Everything.agda open: diff --git a/src/bsc.agda-lib b/agda/bsc.agda-lib similarity index 100% rename from src/bsc.agda-lib rename to agda/bsc.agda-lib diff --git a/src/flake.lock b/agda/flake.lock similarity index 100% rename from src/flake.lock rename to agda/flake.lock diff --git a/src/flake.nix b/agda/flake.nix similarity index 100% rename from src/flake.nix rename to agda/flake.nix diff --git a/src/shell.nix b/agda/shell.nix similarity index 100% rename from src/shell.nix rename to agda/shell.nix diff --git a/src/Algebra/Elgot.lagda.md b/agda/src/Algebra/Elgot.lagda.md similarity index 100% rename from src/Algebra/Elgot.lagda.md rename to agda/src/Algebra/Elgot.lagda.md diff --git a/src/Algebra/Elgot/Free.lagda.md b/agda/src/Algebra/Elgot/Free.lagda.md similarity index 100% rename from src/Algebra/Elgot/Free.lagda.md rename to agda/src/Algebra/Elgot/Free.lagda.md diff --git a/src/Category/Ambient.lagda.md b/agda/src/Category/Ambient.lagda.md similarity index 100% rename from src/Category/Ambient.lagda.md rename to agda/src/Category/Ambient.lagda.md diff --git a/src/Category/Ambient/Setoid.lagda.md b/agda/src/Category/Ambient/Setoid.lagda.md similarity index 100% rename from src/Category/Ambient/Setoid.lagda.md rename to agda/src/Category/Ambient/Setoid.lagda.md diff --git a/src/Category/Construction/ElgotAlgebras.lagda.md b/agda/src/Category/Construction/ElgotAlgebras.lagda.md similarity index 100% rename from src/Category/Construction/ElgotAlgebras.lagda.md rename to agda/src/Category/Construction/ElgotAlgebras.lagda.md diff --git a/src/Category/Construction/PreElgotMonads.lagda.md b/agda/src/Category/Construction/PreElgotMonads.lagda.md similarity index 100% rename from src/Category/Construction/PreElgotMonads.lagda.md rename to agda/src/Category/Construction/PreElgotMonads.lagda.md diff --git a/src/Category/Construction/StrongPreElgotMonads.lagda.md b/agda/src/Category/Construction/StrongPreElgotMonads.lagda.md similarity index 100% rename from src/Category/Construction/StrongPreElgotMonads.lagda.md rename to agda/src/Category/Construction/StrongPreElgotMonads.lagda.md diff --git a/src/Monad/Commutative.agda b/agda/src/Monad/Commutative.agda similarity index 100% rename from src/Monad/Commutative.agda rename to agda/src/Monad/Commutative.agda diff --git a/src/Monad/Instance/Delay.lagda.md b/agda/src/Monad/Instance/Delay.lagda.md similarity index 100% rename from src/Monad/Instance/Delay.lagda.md rename to agda/src/Monad/Instance/Delay.lagda.md diff --git a/src/Monad/Instance/Delay/Commutative.lagda.md b/agda/src/Monad/Instance/Delay/Commutative.lagda.md similarity index 100% rename from src/Monad/Instance/Delay/Commutative.lagda.md rename to agda/src/Monad/Instance/Delay/Commutative.lagda.md diff --git a/src/Monad/Instance/Delay/Quotienting.lagda.md b/agda/src/Monad/Instance/Delay/Quotienting.lagda.md similarity index 100% rename from src/Monad/Instance/Delay/Quotienting.lagda.md rename to agda/src/Monad/Instance/Delay/Quotienting.lagda.md diff --git a/src/Monad/Instance/Delay/Strong.lagda.md b/agda/src/Monad/Instance/Delay/Strong.lagda.md similarity index 100% rename from src/Monad/Instance/Delay/Strong.lagda.md rename to agda/src/Monad/Instance/Delay/Strong.lagda.md diff --git a/src/Monad/Instance/K.lagda.md b/agda/src/Monad/Instance/K.lagda.md similarity index 100% rename from src/Monad/Instance/K.lagda.md rename to agda/src/Monad/Instance/K.lagda.md diff --git a/src/Monad/Instance/K/Commutative.lagda.md b/agda/src/Monad/Instance/K/Commutative.lagda.md similarity index 100% rename from src/Monad/Instance/K/Commutative.lagda.md rename to agda/src/Monad/Instance/K/Commutative.lagda.md diff --git a/src/Monad/Instance/K/EquationalLifting.lagda.md b/agda/src/Monad/Instance/K/EquationalLifting.lagda.md similarity index 100% rename from src/Monad/Instance/K/EquationalLifting.lagda.md rename to agda/src/Monad/Instance/K/EquationalLifting.lagda.md diff --git a/src/Monad/Instance/K/Instance/Delay'.lagda.md b/agda/src/Monad/Instance/K/Instance/Delay'.lagda.md similarity index 100% rename from src/Monad/Instance/K/Instance/Delay'.lagda.md rename to agda/src/Monad/Instance/K/Instance/Delay'.lagda.md diff --git a/src/Monad/Instance/K/Instance/Delay.lagda.md b/agda/src/Monad/Instance/K/Instance/Delay.lagda.md similarity index 100% rename from src/Monad/Instance/K/Instance/Delay.lagda.md rename to agda/src/Monad/Instance/K/Instance/Delay.lagda.md diff --git a/src/Monad/Instance/K/Instance/Maybe.lagda.md b/agda/src/Monad/Instance/K/Instance/Maybe.lagda.md similarity index 100% rename from src/Monad/Instance/K/Instance/Maybe.lagda.md rename to agda/src/Monad/Instance/K/Instance/Maybe.lagda.md diff --git a/src/Monad/Instance/K/Kleene.lagda.md b/agda/src/Monad/Instance/K/Kleene.lagda.md similarity index 100% rename from src/Monad/Instance/K/Kleene.lagda.md rename to agda/src/Monad/Instance/K/Kleene.lagda.md diff --git a/src/Monad/Instance/K/PreElgot.lagda.md b/agda/src/Monad/Instance/K/PreElgot.lagda.md similarity index 100% rename from src/Monad/Instance/K/PreElgot.lagda.md rename to agda/src/Monad/Instance/K/PreElgot.lagda.md diff --git a/src/Monad/Instance/K/Strong.lagda.md b/agda/src/Monad/Instance/K/Strong.lagda.md similarity index 100% rename from src/Monad/Instance/K/Strong.lagda.md rename to agda/src/Monad/Instance/K/Strong.lagda.md diff --git a/src/Monad/Instance/K/StrongPreElgot.lagda.md b/agda/src/Monad/Instance/K/StrongPreElgot.lagda.md similarity index 100% rename from src/Monad/Instance/K/StrongPreElgot.lagda.md rename to agda/src/Monad/Instance/K/StrongPreElgot.lagda.md diff --git a/src/Monad/PreElgot.lagda.md b/agda/src/Monad/PreElgot.lagda.md similarity index 100% rename from src/Monad/PreElgot.lagda.md rename to agda/src/Monad/PreElgot.lagda.md diff --git a/src/index.lagda.md b/agda/src/index.lagda.md similarity index 100% rename from src/index.lagda.md rename to agda/src/index.lagda.md