created 0Trinitarianism.Quest5

thehottgame · Nov 16, 2021 · 5a8f86f · 5a8f86f
1 parent a2157ed
commit 5a8f86f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/0Trinitarianism/Quest5.agda b/0Trinitarianism/Quest5.agda
@@ -0,0 +1,3 @@
+module 0Trinitarianism.Quest5 where
+
+open import 0Trinitarianism.Preambles.P5
diff --git a/_build/2.6.2/agda/0Trinitarianism/Quest5.agdai b/_build/2.6.2/agda/0Trinitarianism/Quest5.agdai
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		module 0Trinitarianism.Quest5 where

		open import 0Trinitarianism.Preambles.P5