From b379c3fed05a4fdc614c0154a666025fd98a89b6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frederik=20Hangh=C3=B8j=20Iversen?= <fhi.1990@gmail.com>
Date: Sun, 21 Jan 2018 00:22:52 +0100
Subject: [PATCH] Add Makefile

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

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