From 5ade047a105efadb1e7abfbe0670d14ebb72b8d6 Mon Sep 17 00:00:00 2001 From: Conal Elliott Date: Thu, 3 Jan 2013 11:29:17 -0800 Subject: [PATCH] todo --- todo.txt | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 todo.txt diff --git a/todo.txt b/todo.txt new file mode 100755 index 0000000..494ae96 --- /dev/null +++ b/todo.txt @@ -0,0 +1,11 @@ + To-do for Checkers + ++ The two-level notion of test batches in Checkers is proving + inconvenient. Change to hierarchical. Example of a hierarchy path: + Data.Reactive, Reactive type, applicative laws, Homomorphism. + ++ Rename "Help" to something more descriptive. + ++ Generalize monoidMorphism to take a function generator instead of a + single function. Use it to define property that says that 'fmap f' is a + monoid morphism for all f.