From fb3ad1d4bd8b547c81963a9b9e24c72cb28ebd3a Mon Sep 17 00:00:00 2001 From: wadler Date: Sun, 4 Mar 2018 12:37:40 -0300 Subject: [PATCH] small fixes to Preface, about, index --- README.md | 18 ++++++------------ index.md | 13 +++++-------- src/Preface.lagda | 6 +++++- 3 files changed, 16 insertions(+), 21 deletions(-) diff --git a/README.md b/README.md index 47089b1a..f2b12045 100644 --- a/README.md +++ b/README.md @@ -4,19 +4,13 @@ title: About permalink: /about/ --- -This is a rewrite of the text [Software Foundations]( -https://softwarefoundations.cis.upenn.edu/current/index.html -) -from Coq to Agda. The authors are -[Wen Kokke]( -https://github.com/wenkokke -) -and -[Philip Wadler]( -http://homepages.inf.ed.ac.uk/wadler/ -). -Please send us comments! Contact details below. +This is a rewrite of the text [Software Foundations][sf] from Coq to +Agda. The authors are [Wen Kokke][wen] and [Philip Wadler][phil]. +Please send us comments! The text is currrently being drafted. The +first draft of the first half 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 half. ## How to host literate code diff --git a/index.md b/index.md index 321eddc7..bf642a36 100644 --- a/index.md +++ b/index.md @@ -5,15 +5,12 @@ layout : page This is a rewrite of the text [Software Foundations][sf] from Coq to Agda. The authors are -[Wen Kokke][wen] +[Wen Kokke][wen] and [Philip Wadler][phil]. -) -and -[Philip Wadler][phil] - -( - -). +Please send us comments! The text is currrently being drafted. The +first draft of the first half 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 half. - [Preface](Preface) diff --git a/src/Preface.lagda b/src/Preface.lagda index 32ac02f5..caf34752 100644 --- a/src/Preface.lagda +++ b/src/Preface.lagda @@ -58,7 +58,11 @@ They guided me as a newbie to Agda and provided an infrastructure that is easy to use and produces pages that are a pleasure to view. Most of the text was written during a sabbatical in the first half of 2018. -Please send suggestions to improve the text to [me][phil]. +Please send suggestions to improve the text to [me][phil]. The text +is currrently being drafted. The first draft of the first half 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 half. -- Philip Wadler, Rio de Janeiro, January--June 2018