Jon Ross-Perkins c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 meses atrás
..
parts c5eba90317 Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512) 4 meses atrás
bool.carbon 86f90c4d8f Change extra-args order in min_prelude (#5695) 10 meses atrás
convert.carbon 1ec8ac7ef9 Add `Copy` interface and use it for making copies. (#6034) 7 meses atrás
destroy.carbon 0722dab0ef Reimplement destroy as an interface (#5678) 10 meses atrás
for.carbon 1ec8ac7ef9 Add `Copy` interface and use it for making copies. (#6034) 7 meses atrás
full.carbon badd544798 Add a `full.carbon` min-prelude that pulls in the full production prelude (#5703) 10 meses atrás
int.carbon 49212feac6 Allow repeated includes, particularly for min_prelude (#5741) 10 meses atrás
none.carbon 49ba8cf3e1 Switch class to use a blanket impl for `Destroy` (#6125) 7 meses atrás
primitives.carbon bac828d244 Add support for `char` keyword per #5903. (#6078) 7 meses atrás
uint.carbon 49212feac6 Allow repeated includes, particularly for min_prelude (#5741) 10 meses atrás
unformed.carbon cb5e2e1597 Improve support for qualification conversions. (#5999) 8 meses atrás