Graham Nelson 9ff95ee1dc Beginning to make kind-checking optional in Inter		2022-02-14 23:45:34 +00:00
..
_Pipelines	Updating inter test suite to catch up with recent developments	2022-02-12 23:27:30 +00:00
_Results_Ideal	Beginning to make kind-checking optional in Inter	2022-02-14 23:45:34 +00:00
Assim.intert	Updating inter test suite to catch up with recent developments	2022-02-12 23:27:30 +00:00
Cons.intert	Updating inter test suite to catch up with recent developments	2022-02-12 23:27:30 +00:00
EasyRCC.intert	Updating inter test suite to catch up with recent developments	2022-02-12 23:27:30 +00:00
IftrueRCC.intert	Updating inter test suite to catch up with recent developments	2022-02-12 23:27:30 +00:00
New.intert	Started in on building module	2022-01-09 23:00:15 +00:00
ObjKind.intert	Updating inter test suite to catch up with recent developments	2022-02-12 23:27:30 +00:00
Predeclared.intert	Updating inter test suite to catch up with recent developments	2022-02-12 23:27:30 +00:00
Prepare.intert	Updating inter test suite to catch up with recent developments	2022-02-12 23:27:30 +00:00
Primitives.intert	Beginning to make kind-checking optional in Inter	2022-02-14 23:45:34 +00:00
Redundancies.intert	Beginning to make kind-checking optional in Inter	2022-02-14 23:45:34 +00:00
SimpleKind.intert	Updating inter test suite to catch up with recent developments	2022-02-12 23:27:30 +00:00
SimpleRoutines.intert	Updating inter test suite to catch up with recent developments	2022-02-12 23:27:30 +00:00