mention cargo-script

[web.git] / personal / _posts / 2017-01-20-paris-rust-meetup.md

diff --git a/personal/_posts/2017-01-20-paris-rust-meetup.md b/personal/_posts/2017-01-20-paris-rust-meetup.md
index 8b6800f2adb2303dc2647df73ea38c1d8f978955..f54e42da656d60ec7b9c67cc39d2c2b2686a28d4 100644 (file)
--- 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.
 
 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 %}).

 <!-- MORE -->
 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/).
 <!-- MORE -->
 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/).