From b73a138f6d4c91d7f48d57bf4c5eec6d010295f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Sun, 26 Nov 2017 14:57:07 +0100
Subject: [PATCH] Add libraries file

---
 libraries | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 libraries

diff --git a/libraries b/libraries
new file mode 100644
index 0000000..56ecc39
--- /dev/null
+++ b/libraries
@@ -0,0 +1,2 @@
+libs/agda-stdlib/standard-library.agda-lib
+libs/cubical/cubical.agda-lib