| Fri, 09 Jul 2010 16:58:44 +0200 | haftmann | pervasive success combinator | changeset | files |
| Fri, 09 Jul 2010 16:32:25 +0200 | krauss | added "while_option", which needs no well-foundedness; defined "while" in terms of "while_option" | changeset | files |
| Fri, 09 Jul 2010 10:08:10 +0200 | haftmann | avoid slightly odd "M" suffix; rename mapM to fold_map (fold_map_abort would be more correct, though) | changeset | files |