fix result types on ski_evaluator
[lambda.git] / readings / king-on-logicism.pdf
2015-03-03 Jimadd King readings