From eb6934c39cf00d92ae657896c504fa17ac6bfc5a Mon Sep 17 00:00:00 2001
From: Dierk Koenig <dierk.koenig@canoo.com>
Date: Tue, 24 Feb 2015 02:05:20 +0100
Subject: first step into quickcheck integration. It works on "inline" checks
 but not yet with tests from src/test. Those are not yet automatically
 compiled.

---
 todo.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'todo.txt')

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
-- 
cgit