From 35a2c02b5b4fbc2db247a19983df84ffb74ae467 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Mon, 25 Jun 2018 11:40:48 +0100 Subject: [PATCH] Fixed links in README and index.md --- README.md | 4 ++-- index.md | 21 +++------------------ 2 files changed, 5 insertions(+), 20 deletions(-) diff --git a/README.md b/README.md index ce62495c..0f41b055 100644 --- a/README.md +++ b/README.md @@ -4,11 +4,11 @@ title: About permalink: /about/ --- -This book is an introduction to programming language theory, written in Agda. The authors are [Wen Kokke][twitter.com/wenkokke] and [Philip Wadler][twitter.com/PhilipWadler]. +This book is an introduction to programming language theory, written in Agda. The authors are [Wen Kokke](twitter.com/wenkokke) and [Philip Wadler](https://softwarefoundations.cis.upenn.edu/). Please send us comments! The text is currrently being drafted. The first draft of Part I will be completed before the end of March 2018. When that is done it will be announced here, and that would be an excellent time to comment on the first part. -The book was inspired by [Software Foundations][softwarefoundations.cis.upenn.edu], but presents the material in a different way; see the [Preface](Preface). +The book was inspired by [Software Foundations](softwarefoundations.cis.upenn.edu), but presents the material in a different way; see the [Preface](Preface). ## How to host literate code diff --git a/index.md b/index.md index 06b54658..f2dd1857 100644 --- a/index.md +++ b/index.md @@ -3,17 +3,11 @@ title : Table of Contents layout : page --- -This book is an introduction to programming language theory, written -in Agda. The authors are [Wen Kokke][wen] and [Philip Wadler][phil]. +This book is an introduction to programming language theory, written in Agda. The authors are [Wen Kokke](twitter.com/wenkokke) and [Philip Wadler](https://softwarefoundations.cis.upenn.edu/). -Please send us comments! The text is currrently being drafted. Part I -is ready for comment. We plan that Part II will be ready for comment -by the end of May. +Please send us comments! The text is currrently being drafted. Part I is ready for comment. We plan that Part II will be ready for comment by the end of June. -Comments on all matters---organisation, material we should add, -material we should remove, parts that require better explanation, good -exercises, errors, and typos---are welcome. Pull requests for small -fixes are encouraged. +Comments on all matters---organisation, material we should add, material we should remove, parts that require better explanation, good exercises, errors, and typos---are welcome. Pull requests for small fixes are encouraged. ## Front matter @@ -52,12 +46,3 @@ fixes are encouraged. - [Fonts: Test page for fonts]({{ site.baseurl }}{% link out/plta/Fonts.md %}) - [Statistics: Line counts for each chapter]({{ site.baseurl }}{% link out/plta/Statistics.md %}) -[sf]: https://softwarefoundations.cis.upenn.edu/ -[wen]: https://github.com/wenkokke -[phil]: http://homepages.inf.ed.ac.uk/wadler/ - - - -