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