4 commits

Author		Message	Date
Philip Wadler	ad6f853946	restoring extra	2019-01-08 14:11:20 +00:00
Philip Wadler	6f6d02eed4	added line to explain defn of multiplication	2019-01-08 12:12:26 +00:00
wadler	deeb5269f6	fixes in fresh	2018-06-30 22:45:32 -03:00
wadler	ce81c403bd	moving extra files	2018-05-26 16:24:37 -03:00