Jon Ross-Perkins 8ea92b728c Update prelude files to increase destroy dependencies (#5848) 9 месяцев назад
..
parts 8ea92b728c Update prelude files to increase destroy dependencies (#5848) 9 месяцев назад
bool.carbon 86f90c4d8f Change extra-args order in min_prelude (#5695) 10 месяцев назад
convert.carbon 86f90c4d8f Change extra-args order in min_prelude (#5695) 10 месяцев назад
destroy.carbon 0722dab0ef Reimplement destroy as an interface (#5678) 10 месяцев назад
facet_types.carbon 86f90c4d8f Change extra-args order in min_prelude (#5695) 10 месяцев назад
for.carbon 866794b82a Check and lowering support for `for` loops. (#5698) 10 месяцев назад
full.carbon badd544798 Add a `full.carbon` min-prelude that pulls in the full production prelude (#5703) 10 месяцев назад
int.carbon 49212feac6 Allow repeated includes, particularly for min_prelude (#5741) 10 месяцев назад
none.carbon 76cdbd8a5a Introduce the `none.carbon` min-prelude (#5694) 10 месяцев назад
primitives.carbon 49212feac6 Allow repeated includes, particularly for min_prelude (#5741) 10 месяцев назад
uint.carbon 49212feac6 Allow repeated includes, particularly for min_prelude (#5741) 10 месяцев назад