diff --git a/teaching/InferLab.md b/teaching/InferLab.md index 4abef47db271a8cdc1a7479d18fb333b4f16d5d9..148e5dc02bc07c2e5a745cf63820d314daee65af 100644 --- a/teaching/InferLab.md +++ b/teaching/InferLab.md @@ -19,8 +19,7 @@ Infer was [open sourced](https://code.facebook.com/posts/1648953042007882/open-s [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), -Engineering Manager, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, gave a tutorial on how to use Infer. -The tutorial targeted real world Android applications, such as: +Engineering Manager, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer at Facebook, gave a tutorial on how to use Infer, targeting real world Android applications, such as: - [PocketHub](https://github.com/pockethub/PocketHub) - [Wikipedia Android app](https://github.com/wikimedia/apps-android-wikipedia)