From b8fc615ebe433ec9208cd23c5e6187916e1cc5ac Mon Sep 17 00:00:00 2001 From: Ingo Blechschmidt Date: Sun, 2 Dec 2018 21:09:24 +0100 Subject: [PATCH] Use https instead of http where possible --- Notes.md | 2 +- README.md | 4 ++-- hs/agda-count | Bin 1359192 -> 1359193 bytes index.md | 4 ++-- src/plfa/Preface.lagda | 8 ++++---- tspl/TSPL.lagda | 2 +- 6 files changed, 10 insertions(+), 10 deletions(-) diff --git a/Notes.md b/Notes.md index 5937ecfa..a3a4aee5 100644 --- a/Notes.md +++ b/Notes.md @@ -64,7 +64,7 @@ Get evidence! > Manage Users and Edit > to the Google Analytics account `plfa (UA-125055580)` by `wen.kokke@gmail.com`. -> [Google analytics](http://analytics.google.com/analytics/web/) +> [Google analytics](https://analytics.google.com/analytics/web/) ## Where to put Lists? diff --git a/README.md b/README.md index b4c25d8f..2cc9b391 100644 --- a/README.md +++ b/README.md @@ -129,7 +129,7 @@ Command to give when in a hole: C-c C-. Goal type, context, and inferred type See -[the emacs-mode docs](http://agda.readthedocs.io/en/latest/tools/emacs-mode.html) +[the emacs-mode docs](https://agda.readthedocs.io/en/latest/tools/emacs-mode.html) for more details. If you want to see messages beside rather than below your Agda code, @@ -175,4 +175,4 @@ The book is written in [Kramdown Markdown](https://kramdown.gettalong.org/syntax ## Travis Continuous Integration -You can view the build history of PLFA at [travis-ci.org](http://travis-ci.org/plfa/plfa.github.io). +You can view the build history of PLFA at [travis-ci.org](https://travis-ci.org/plfa/plfa.github.io). diff --git a/hs/agda-count b/hs/agda-count index 07445ac5e0470d1f60a55a296748256cf28f6608..430db3f82df57fa76dff1540fe4963eb9679ba75 100755 GIT binary patch delta 75 zcmccdE9mC0poSL47N!>F7M2#)7Pc1l7LFFq7OpMaHZvKE+ihlY12GQ}^8zs+5c31E T01yiTu@DdoZ?~B#BBKHTIFuUH delta 73 zcmcclE9l0rpoSL47N!>F7M2#)7Pc1l7LFFq7OpMaHZ$98XL18E4-oSLF&_}~1F--Q R3j(na5DRa&ohc%t0ssz%8fpLl diff --git a/index.md b/index.md index 0b2296cc..bde18eee 100644 --- a/index.md +++ b/index.md @@ -56,6 +56,6 @@ Pull requests are encouraged. * John Leo, Google Seattle, 2018--2019 [wen]: https://github.com/wenkokke -[phil]: http://homepages.inf.ed.ac.uk/wadler/ +[phil]: https://homepages.inf.ed.ac.uk/wadler/ [GitHub]: https://github.com/plfa/plfa.github.io/ -[sbmf]: http://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf +[sbmf]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf diff --git a/src/plfa/Preface.lagda b/src/plfa/Preface.lagda index 306c2750..5225669b 100644 --- a/src/plfa/Preface.lagda +++ b/src/plfa/Preface.lagda @@ -92,12 +92,12 @@ Most of the text was written during a sabbatical in the first half of 2018. — Philip Wadler, Rio de Janeiro, January–June 2018 -[tapl]: http://www.cis.upenn.edu/~bcpierce/tapl/ +[tapl]: https://www.cis.upenn.edu/~bcpierce/tapl/ [sf]: https://softwarefoundations.cis.upenn.edu/ -[ta]: http://www.cis.upenn.edu/~bcpierce/papers/plcurriculum.pdf -[stump]: http://www.morganclaypoolpublishers.com/catalog_Orig/product_info.php?cPath=24&products_id=908 +[ta]: https://www.cis.upenn.edu/~bcpierce/papers/plcurriculum.pdf +[stump]: https://www.morganclaypoolpublishers.com/catalog_Orig/product_info.php?cPath=24&products_id=908 [wen]: https://github.com/wenkokke -[phil]: http://homepages.inf.ed.ac.uk/wadler/ +[phil]: https://homepages.inf.ed.ac.uk/wadler/ ## A word on the exercises diff --git a/tspl/TSPL.lagda b/tspl/TSPL.lagda index 74a90a9e..798a4e79 100644 --- a/tspl/TSPL.lagda +++ b/tspl/TSPL.lagda @@ -7,7 +7,7 @@ permalink : /TSPL/ ## Staff * **Instructor** - [Philip Wadler](http://homepages.inf.ed.ac.uk/wadler) + [Philip Wadler](https://homepages.inf.ed.ac.uk/wadler) * **Teaching assistants** - [Wen Kokke](mailto:wen.kokke@ed.ac.uk) - [Chad Nester](mailto:chad.nester@gmail.com)