Delete 0Trinitarianism/bin directory

thehottgame · Apr 17, 2022 · d637589 · d637589
1 parent 818d8db
commit d637589
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 550 deletions.
diff --git a/0Trinitarianism/bin/AsProps/Quest0.agda b/0Trinitarianism/bin/AsProps/Quest0.agda
diff --git a/0Trinitarianism/bin/AsProps/Quest0Preamble.agda b/0Trinitarianism/bin/AsProps/Quest0Preamble.agda
diff --git a/0Trinitarianism/bin/AsProps/Quest0Solutions.agda b/0Trinitarianism/bin/AsProps/Quest0Solutions.agda
diff --git a/0Trinitarianism/bin/AsProps/Quest0Solutions.lagda.md b/0Trinitarianism/bin/AsProps/Quest0Solutions.lagda.md
diff --git a/0Trinitarianism/bin/AsProps/Quest1.agda b/0Trinitarianism/bin/AsProps/Quest1.agda