summaryrefslogtreecommitdiff
path: root/modeling/todo.org
diff options
context:
space:
mode:
Diffstat (limited to 'modeling/todo.org')
-rw-r--r--modeling/todo.org8
1 files changed, 8 insertions, 0 deletions
diff --git a/modeling/todo.org b/modeling/todo.org
new file mode 100644
index 0000000..c3cfa70
--- /dev/null
+++ b/modeling/todo.org
@@ -0,0 +1,8 @@
+#+title: Todo
+
+* Operations
+** Subtraction
+** Multiplication
+** Max of 4 numbers
+** Min of 4 numbers
+** subgoals, i.e. do addition manually if addition fact not in decmem