diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-12-28 12:41:57 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-12-28 12:41:57 +0000 |
| commit | bf5fedb51726f62aa8f46505ebee87912ef10ce3 (patch) | |
| tree | 89002e3931ff3e1e704dc5e6cb227b7022f34d71 /Everything.agda | |
Define syntax and equivalence.
Diffstat (limited to 'Everything.agda')
| -rw-r--r-- | Everything.agda | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Everything.agda b/Everything.agda new file mode 100644 index 0000000..03e3ccd --- /dev/null +++ b/Everything.agda @@ -0,0 +1,7 @@ +module Everything where + +import CBPV.Axiom +import CBPV.Equality +import CBPV.Family +import CBPV.Term +import CBPV.Type |