up

cicada-lang · Apr 29, 2024 · ba57e63 · ba57e63
1 parent 2bf6108
commit ba57e63
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,3 +1,5 @@
+abduction is neg by fail?
+
 `Data` instead of `Term` -- only defined by `datatype`
 
 [maybe] remove eval