reduction strategy should be 'false' for normal order, not 1
[lambda.git] / learning_scheme.mdwn
2010-09-16 Jim Pryorlearning_scheme update
2010-09-15 Jim Pryorseparate learning_{scheme,ocaml}