From aa9932d71fd11cb2467e127c763f77802e6c7f50 Mon Sep 17 00:00:00 2001
From: wadler <wadler@inf.ed.ac.uk>
Date: Wed, 4 Jul 2018 21:28:32 -0300
Subject: [PATCH] fixed hs

---
 hs/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/hs/Makefile b/hs/Makefile
index f1ff2635..de8709a1 100644
--- a/hs/Makefile
+++ b/hs/Makefile
@@ -4,3 +4,5 @@ statistics:
 compile:
 	ghc -o agda-count agda-count.hs
 
+clean:
+	rm *.hi *.o