Tue, 05 Dec 2023 15:36:52 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Mon, 25 Sep 2023 21:36:46 +0200 | wenzelm | unused; | file | diff | annotate |
Thu, 16 Jul 2009 22:54:39 +0200 | wenzelm | added same; | file | diff | annotate |
Thu, 16 Jul 2009 21:28:39 +0200 | wenzelm | added map_option; | file | diff | annotate |
Thu, 16 Jul 2009 20:15:57 +0200 | wenzelm | added map; | file | diff | annotate |
Thu, 16 Jul 2009 16:24:49 +0200 | wenzelm | Support for copy-avoiding functions on pure values, at the cost of readability. | file | diff | annotate |