Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | file | diff | annotate |
Thu, 02 Dec 2010 16:39:07 +0100 | haftmann | adapted expected value to more idiomatic numeral representation | file | diff | annotate |
Mon, 25 Oct 2010 21:17:12 +0200 | bulwahn | changing test parameters in examples to get to a result within the global timelimit | file | diff | annotate |
Fri, 22 Oct 2010 18:38:59 +0200 | bulwahn | updating to new notation in commented examples | file | diff | annotate |
Thu, 30 Sep 2010 15:37:12 +0200 | bulwahn | adding example for case expressions | file | diff | annotate |
Wed, 29 Sep 2010 10:33:15 +0200 | bulwahn | added test case for predicate arguments in higher-order argument position | file | diff | annotate |
Wed, 29 Sep 2010 10:33:15 +0200 | bulwahn | added a test case to Predicate_Compile_Tests | file | diff | annotate |