From bf5fedb51726f62aa8f46505ebee87912ef10ce3 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 28 Dec 2023 12:41:57 +0000
Subject: Define syntax and equivalence.

---
 cbpv.agda-lib | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 cbpv.agda-lib

(limited to 'cbpv.agda-lib')

diff --git a/cbpv.agda-lib b/cbpv.agda-lib
new file mode 100644
index 0000000..204d880
--- /dev/null
+++ b/cbpv.agda-lib
@@ -0,0 +1,4 @@
+name: cbpv
+depend: standard-library
+include: src
+flags: --without-K
-- 
cgit v1.2.3