7 Commits

Author	SHA1	Message	Date
Chris Penner	5ca1eb3b8d	Replace '.' references with scratch/main	2024-06-25 11:11:07 -07:00
Travis Staton	7dd7f72df7	add comment	2023-10-30 09:56:05 -04:00
Travis Staton	ad92a7593b	mark delayed kind defaulting example as not an error	2023-10-30 09:51:55 -04:00
Travis Staton	cd37539156	Default unconstrained kind vars after processing all components	2023-10-27 10:38:22 -04:00
Travis Staton	2c10336c18	demonstrate kind defaulting	2023-10-27 10:37:08 -04:00
Travis Staton	1b7865a3fa	error message improvements	2023-09-21 13:49:30 -04:00
Travis Staton	eb45478c8d	add kind-inference transcript	2023-09-20 15:43:17 -04:00