Richard Smith
4daaa4866f
Rename Type -> type, per #2360 . ( #2507 )
...
Also make minor updates to the skeletal design in
docs/design/name_lookup.md following #2113 , as there are no longer any prelude names that are made available to unqualified name lookup by default.
Add `type` to the keyword list in
docs/design/lexical_conventions/words.md, following #2360 .
2023-01-04 14:22:30 -08:00
..
2022-11-17 08:57:22 -08:00
2022-12-28 12:55:40 -08:00
2022-12-05 08:30:53 -08:00
2022-12-05 08:30:53 -08:00
2022-12-28 12:55:40 -08:00
2022-12-28 12:55:40 -08:00
2022-12-28 12:55:40 -08:00
2022-11-17 08:57:22 -08:00
2022-11-30 09:14:07 -08:00
2022-11-17 08:57:22 -08:00
2023-01-04 14:22:30 -08:00
2022-11-17 08:57:22 -08:00
2022-12-28 12:55:40 -08:00
2022-12-28 12:55:40 -08:00
2022-12-28 12:55:40 -08:00
2022-12-28 12:55:40 -08:00
2022-11-17 08:57:22 -08:00
2022-12-05 08:30:53 -08:00
2023-01-04 14:22:30 -08:00
2023-01-04 14:22:30 -08:00
2022-12-28 12:55:40 -08:00
2022-12-05 08:30:53 -08:00
2022-12-28 12:55:40 -08:00
2022-12-28 12:55:40 -08:00
2022-12-28 12:55:40 -08:00
2022-12-28 12:55:40 -08:00
2023-01-04 14:22:30 -08:00
2023-01-04 14:22:30 -08:00
2022-12-28 12:55:40 -08:00
2022-12-28 12:55:40 -08:00