| 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 |
| Fri, 09 Jul 2010 09:48:54 +0200 | haftmann | adapted to changes | changeset | files |
| Fri, 09 Jul 2010 09:48:53 +0200 | haftmann | guard combinator | changeset | files |