Commit graph

4 commits

Author SHA1 Message Date
Dale Weiler
03b56bd41f Handle double negation case specially. Update TODO 2013-09-30 05:12:28 -04:00
matthiaskrgr
a2504f6455 TODO: fix typos 2012-12-26 19:15:40 +01:00
Dale Weiler
58f90d9f51 Fix some typos 2012-12-16 22:52:17 +00:00
Dale Weiler
49e7f6d31d Add TODO 2012-12-16 22:48:46 +00:00