3 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	ce81c403bd	moving extra files	2018-05-26 16:24:37 -03:00

Renamed from src/fresh/FreshId.lagda (Browse further)