summaryrefslogtreecommitdiff
path: root/todo.txt
diff options
context:
space:
mode:
Diffstat (limited to 'todo.txt')
-rw-r--r--todo.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/todo.txt b/todo.txt
index 027fb84..89c7e3a 100644
--- a/todo.txt
+++ b/todo.txt
@@ -1,2 +1,2 @@
-- add task for QuickCheck
+- make a compileTestFrege with the respective task dependencies
- add task for FregeDoc \ No newline at end of file