Graham Nelson e4251bf5d7 Added variance test case		2020-08-12 13:07:35 +01:00
..
_Results_Ideal	Added variance test case	2020-08-12 13:07:35 +01:00
av-conformance.txt	Improved kind-checking of contravariant constructors	2020-08-11 11:55:39 +01:00
basics.txt	Further testing of kinds	2020-08-09 23:42:41 +01:00
compatibility.txt	Improved kind-checking of contravariant constructors	2020-08-11 11:55:39 +01:00
conformance.txt	Added variance test case	2020-08-12 13:07:35 +01:00
construction.txt	Further work on kinds module and its testing	2020-08-09 18:39:31 +01:00
definiteness.txt	Further testing of kinds	2020-08-09 23:42:41 +01:00
dimensions.txt	Moved kinds module to services library and added test utility	2020-08-08 17:40:02 +01:00
joins.txt	Join and meet operations on kinds	2020-08-11 15:07:58 +01:00
objects.txt	Clarified kind conformance order relation	2020-08-11 23:59:29 +01:00
promotion.txt	Moved kinds module to services library and added test utility	2020-08-08 17:40:02 +01:00
variable-conformance.txt	Improved kind-checking of contravariant constructors	2020-08-11 11:55:39 +01:00
variables.txt	Improved kind-checking of contravariant constructors	2020-08-11 11:55:39 +01:00
variance.txt	Added variance test case	2020-08-12 13:07:35 +01:00