| 2009-07-16 | wenzelm | added same; | file | diff | annotate |
| 2009-07-16 | wenzelm | added map_option; | file | diff | annotate |
| 2009-07-16 | wenzelm | added map; | file | diff | annotate |
| 2009-07-16 | wenzelm | Support for copy-avoiding functions on pure values, at the cost of readability. | file | diff | annotate |