From 87913c4014f01a23d608457e379b74aa1befd4ab Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown@cl.cam.ac.uk>
Date: Mon, 27 Dec 2021 17:21:32 +0000
Subject: Introduce Everything.agda to aid in overall compilation.

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

(limited to 'agda-helium.agda-lib')

diff --git a/agda-helium.agda-lib b/agda-helium.agda-lib
new file mode 100644
index 0000000..bec951d
--- /dev/null
+++ b/agda-helium.agda-lib
@@ -0,0 +1,3 @@
+name: agda-helium-0.1
+depend: standard-library-1.7.1
+include: src
-- 
cgit v1.2.3