| Sat, 30 Dec 2023 22:53:03 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 17 Dec 2023 21:34:44 +0100 | wenzelm | proper beta_norm after instantiation (amending 90c5aadcc4b2); | file | diff | annotate |
| Tue, 05 Dec 2023 16:39:31 +0100 | wenzelm | more operations; | file | diff | annotate |
| 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 |