update TODO list

rudymatela · Feb 10, 2024 · f679940 · f679940
1 parent bab99a0
commit f679940
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/TODO.md b/TODO.md
@@ -3,12 +3,6 @@ TODO
 
 A list of things to do for Speculate.
 
-* update CI to include newer GHCs
-
-* add a couple of tests to `groundJoinable`
-
-* implement missing `groundJoinable` criterium
-
 * (code readability) review and document code
 
 * (code readability) rename semi to inqualities everywhere.