Tue, 30 Apr 2013 17:22:51 +0200 | blanchet | further enrich data structure | changeset | files |
Tue, 30 Apr 2013 16:50:09 +0200 | blanchet | more | changeset | files |
Tue, 30 Apr 2013 16:42:23 +0200 | blanchet | rationalized terminology (iterator = fold or rec, xxfoo = (co)foo or (un)foo) | changeset | files |