diff --git a/hs/agda-count b/hs/agda-count
deleted file mode 100755
index 430db3f8..00000000
Binary files a/hs/agda-count and /dev/null differ
diff --git a/hs/config.txt b/hs/config.txt
index dbd1cf37..d07941d5 100644
--- a/hs/config.txt
+++ b/hs/config.txt
@@ -8,8 +8,8 @@ Isomorphism
 Connectives
 Negation
 Quantifiers
-Lists
 Decidable
+Lists
 --
 Lambda
 Properties