6 Commits

Author	SHA1	Message	Date
Chris Penner	d98b4aebc1	Port more transcripts to projects	2024-07-01 11:14:31 -07:00
Chris Penner	5ca1eb3b8d	Replace '.' references with scratch/main	2024-06-25 11:11:07 -07:00
Travis Staton	03062e5e48	fix higher-rank test ... Add t to constructor to avoid kind defaulting	2023-09-20 15:37:10 -04:00
Paul Chiusano	685a202319	update transcripts	2022-12-01 23:51:11 -06:00
Chris Penner	33d455ec24	Don't crash when typechecking higher-rank fields (#2866)	2022-02-09 14:15:26 -06:00
Paul Chiusano	d1a7692c40	Fix with @dolio to pattern matching on constructors with polymorphic fields ... Added some more tests	2021-09-08 12:01:40 -05:00