| Tue, 04 Sep 2012 14:21:11 +0200 | blanchet | more work on FP sugar | file | diff | annotate |
| Tue, 04 Sep 2012 13:06:41 +0200 | blanchet | more work on sugar + simplify Trueprop + eq idiom everywhere | file | diff | annotate |
| Tue, 04 Sep 2012 13:05:01 +0200 | blanchet | more work on FP sugar | file | diff | annotate |
| Tue, 04 Sep 2012 13:02:32 +0200 | blanchet | more work on FP sugar | file | diff | annotate |
| Tue, 04 Sep 2012 13:02:26 +0200 | blanchet | started work on sugared "(co)data" commands | file | diff | annotate |