Add some additional topics to todo.md

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

https://rust-lang.github.io/chalk/book/

Other

1.81k stars 180 forks source link

Closed seanchen1991 closed 2 years ago

seanchen1991 commented 2 years ago

Adds a few more topics to be added to the Chalk book based on discussions with @jackh726

jackh726 commented 2 years ago

@bors r+

bors commented 2 years ago

:pushpin: Commit a448ba59fcdc0e07726c63cf5bddc827c189c757 has been approved by jackh726

bors commented 2 years ago

:hourglass: Testing commit a448ba59fcdc0e07726c63cf5bddc827c189c757 with merge 9bba3a853969c60e77f4bead0380a9e1b2033744...

bors commented 2 years ago

:sunny: Test successful - checks-actions Approved by: jackh726 Pushing 9bba3a853969c60e77f4bead0380a9e1b2033744 to master...