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