4 Commits (master)

Author	SHA1	Message	Date
Jacques Garrigue	46cec117a4	Fix #9721: Injectivity and recursive modules (#9727)	2020-07-07 09:04:23 +02:00
Jacques Garrigue	603506aa34	Add injectivity annotations (#9500)	2020-06-15 13:51:50 +02:00
Rian Douglas	1cd94ad072	Changed to using a Variant for the Variance, instead of a bare int	2019-08-09 12:03:28 -07:00
Gabriel Scherer	24ea989c02	Typedecl: split variance to a separate unit Typedecl_variance ... (pair-programming with Rodolphe Lepigre)	2018-11-23 12:05:33 +01:00