Update TODO.

krr-up · Jan 30, 2024 · f1fef96 · f1fef96
1 parent a56db80
commit f1fef96
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/TODO.org b/TODO.org
@@ -1,10 +1,4 @@
 * Decompose function should generate locations, in case downstream meta-encodings rely on it
 
-* Examine existing metaprogramming applications
 
-- HTLB
-- TLHTC
-- meta-telingo
-- Deontic logic
-- plingo meta encoding
-- unsat stuff with Susana
+* Fix meta-telingo external generation to handle pools and intervals as well.