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	e749a78eb0	fixing link to extensionality in Connections	2018-06-09 18:01:31 -03:00

Renamed from src/Pure.lagda (Browse further)