Skip to content

Commit 0a754a9

Browse files
authored
Merge pull request #192 from noamraph/add-link-to-talk
README.md: Add a link to the talk
2 parents 981785c + 30da1ce commit 0a754a9

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

README.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,8 @@
11
This is a core library that models the borrow check. It implements the analysis
2-
[described in this blogpost][post]. Details are [in the Polonius book][book].
2+
described in this [blogpost][post] and in this [talk]. Details are [in the Polonius book][book].
33

44
[post]: http://smallcultfollowing.com/babysteps/blog/2018/04/27/an-alias-based-formulation-of-the-borrow-checker/
5+
[talk]: https://youtu.be/_agDeiWek8w
56
[book]: https://rust-lang.github.io/polonius/
67

78
### Why the name "Polonius"?

0 commit comments

Comments
 (0)