Christopher Di Bella
|
4df2b6ea9d
adds checking support for `CppUnsafeDeref` witness (#6890)
|
1 месяц назад |
Jon Ross-Perkins
|
8ea92b728c
Update prelude files to increase destroy dependencies (#5848)
|
9 месяцев назад |
Brymer Meneses
|
89eed4220f
Expose indexing as a language interface (#4370)
|
1 год назад |
Richard Smith
|
187a3608df
Use `As` and `ImplicitAs` interfaces for conversions. (#4209)
|
1 год назад |
Jon Ross-Perkins
|
3561ab5fae
Switch the prelude to using 'export import'. (#3976)
|
1 год назад |
Richard Smith
|
23f9065949
Implement proposal #3927. (#3963)
|
1 год назад |
Richard Smith
|
f44643f080
Refactor core operator interfaces, fix compilation, add comments. (#3864)
|
2 лет назад |
Richard Smith
|
2b2f27a9ce
Add core library with operator interface definitions and an example program. (#3856)
|
2 лет назад |