Commit Graph
2 Commits
Author SHA1 Message Date
Richard Smith e26bc32343 Change remaining uses of Bool to bool, following #750. (#1901)
The most significant change here is that explorer now uses the chosen spelling
rather than the old `Bool` spelling. Also update a few documentation examples
and some skeletal design docs to use the chosen spelling.
2022-08-03 17:55:34 -07:00
Richard Smith 5c826df8bb Support deducing within the parameters of an interface type (#1278) 2022-05-19 17:49:28 -07:00