Tue, 21 Sep 2010 15:46:06 +0200 | haftmann | reject term variables explicitly | file | diff | annotate |
Mon, 20 Sep 2010 08:53:37 +0200 | haftmann | made smlnj happy | file | diff | annotate |
Fri, 17 Sep 2010 10:00:01 +0200 | haftmann | closures preserve static serializer context for static evaluation; tuned | file | diff | annotate |
Fri, 17 Sep 2010 08:41:07 +0200 | haftmann | made sml/nj happy | file | diff | annotate |
Thu, 16 Sep 2010 16:51:34 +0200 | haftmann | dynamic and static value computation; built-in evaluation of propositions | file | diff | annotate |
Wed, 15 Sep 2010 16:56:31 +0200 | haftmann | proper interface for code_reflect | file | diff | annotate |
Wed, 15 Sep 2010 15:40:36 +0200 | haftmann | Code_Runtime.value, corresponding to ML_Context.value; tuned | file | diff | annotate |
Wed, 15 Sep 2010 15:31:32 +0200 | haftmann | code_eval renamed to code_runtime | file | diff | annotate | base |