From d5837b40015fbfb49b83f0eca3c2533a8925abc5 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wen.kokke@gmail.com>
Date: Fri, 14 Sep 2018 16:08:05 +0100
Subject: [PATCH] Package PLFA as an Agda library.

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

diff --git a/plfa.agda-lib b/plfa.agda-lib
new file mode 100644
index 00000000..67051b76
--- /dev/null
+++ b/plfa.agda-lib
@@ -0,0 +1,3 @@
+name: plfa
+depend: standard-library
+include: src