todo

hferee · Feb 9, 2024 · 64473b8 · 64473b8
1 parent 0d2de77
commit 64473b8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/TODO.md b/TODO.md
@@ -2,6 +2,7 @@ In demo:
 * Also display the E interpolants for K and GL
 * Let user choose what variable to quantify over
 * Allow any letters as variable names
+* Add support for inputting diamond.
 
 Various optimizations: 
 * Avoid displaying double negations in the classical case