summaryrefslogtreecommitdiff
path: root/TODO
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-02-29 14:34:36 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-02-29 14:34:36 +0100
commit3301664eed29fa77916f9d61878ee358f5f23d09 (patch)
treebe189b57f183248a84503fde3ba1ce9d98c15c6f /TODO
parentfbac3584c3820cd47344ffcd4a6a4d20f3220323 (diff)
remove a hack
Diffstat (limited to 'TODO')
-rw-r--r--TODO2
1 files changed, 1 insertions, 1 deletions
diff --git a/TODO b/TODO
index 08c4b2a9..1035a2c3 100644
--- a/TODO
+++ b/TODO
@@ -104,9 +104,9 @@ done:
104- remove MVP from examples 104- remove MVP from examples
105- webpage: create community page (link to the mailing list, ideas how to contribute) 105- webpage: create community page (link to the mailing list, ideas how to contribute)
106- port to wl-pprint (another option was to port to pretty compact 2.0; required by stackage) 106- port to wl-pprint (another option was to port to pretty compact 2.0; required by stackage)
107- document heterogeneous lists in language specification
107 108
108next: 109next:
109- update language specification (heterogeneous lists, forall ->, ticking, etc)
110- update API docs 110- update API docs
111- update getting started 111- update getting started
112- update overview 112- update overview