From 90cc6afa6af2472b24fd6f1e4fc710b8dad462b9 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 4 Jun 2022 12:47:24 +0100
Subject: Initial commit.

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

(limited to 'bidir.agda-lib')

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