diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000..051f9ce
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,2 @@
+build: src/**.agda
+	agda src/Cat.agda