4 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	481f866ada	Improvements to Typed Records	2021-02-25 23:16:05 +01:00
Tony Garnock-Jones	993689356b	Typed Records	2021-02-25 22:19:35 +01:00
Tony Garnock-Jones	c46566e5a0	mapPointers can yield non-pointers	2021-02-24 20:40:49 +01:00
Tony Garnock-Jones	a69297c3ba	Folds	2021-02-17 20:55:22 +01:00