X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/dd850fdf7200848c9ade6503c39c64952546f559..96c6b19f3f178e6cd80ce03e9d7c997afa2ad9de:/personal/_posts/2017-01-20-paris-rust-meetup.md?ds=sidebyside diff --git a/personal/_posts/2017-01-20-paris-rust-meetup.md b/personal/_posts/2017-01-20-paris-rust-meetup.md index 8b6800f..f54e42d 100644 --- a/personal/_posts/2017-01-20-paris-rust-meetup.md +++ b/personal/_posts/2017-01-20-paris-rust-meetup.md @@ -7,7 +7,7 @@ reddit: /rust/comments/5p714x/rust_paris_meetup_talks_on_rust_formalization/ This week, I have been at the Paris Rust Meetup. Meeting all sorts of Rust people was great fun, and the Mozilla offices in Paris are absolutely impressive. You should totally check them out if you have a chance. -On that meetup, I gave a short talk about the current status of my [formalization of the Rust type system]({{ site.baseurl }}{% post_url 2015-10-12-formalizing-rust %}). +On that meetup, I gave a short talk about the current status of my [formalization of the Rust type system]({% post_url 2015-10-12-formalizing-rust %}). That was rather spontaneously arranged just two days before the meetup, but it was definitely worth it. If you are interested in what this work is all about and where we are currently, you can go watch the recording of the talk at [Air Mozilla](https://air.mozilla.org/rust-paris-meetup-35-2017-01-19/).