6 Commits

Author	SHA1	Message	Date
Slava Pestov	7ad160a971	docs: Update generics.tex ... Overhaul the "Conformance Paths" chapter to use the new notation for derived requirements.	2024-11-16 22:05:52 -05:00
Slava Pestov	3b76bc44cc	docs: Update generics.tex	2024-10-21 22:08:52 -04:00
Slava Pestov	b769332c56	docs: Update generics.tex	2024-08-30 15:58:01 -04:00
Slava Pestov	c4d9e42fa9	docs: Update generics.tex	2024-07-15 22:30:56 -04:00
Slava Pestov	6176e02aa3	docs: Update generics.tex	2024-06-23 09:30:05 -04:00
Slava Pestov	d489ad364d	docs: Update generics.tex	2024-05-21 11:00:28 -04:00