From 848607d2e2579d127e7e9a723b9cfea14c2ce8c1 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Mon, 22 Jan 2024 17:11:17 +0000
Subject: Make more library-like.

Add an `agda-lib` and an `Everything` file.
---
 cfe-proof.agda-lib | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 cfe-proof.agda-lib

(limited to 'cfe-proof.agda-lib')

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