untyped eval: V[12]-->V[AB]
[lambda.git] / topics / _week8_scratch.mdwn
2015-03-22 Jimadd monads_in_general for scratch