michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

small fixes to Preface, about, index

Browse source
This commit is contained in:
wadler 2018-03-04 12:37:40 -03:00
parent ae26e82dd4
commit fb3ad1d4bd
3 changed files with 16 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
README.md
View file

@ -4,19 +4,13 @@ title: About
permalink: /about/ permalink: /about/
--- ---
This is a rewrite of the text [Software Foundations]( This is a rewrite of the text [Software Foundations][sf] from Coq to
https://softwarefoundations.cis.upenn.edu/current/index.html Agda. The authors are [Wen Kokke][wen] and [Philip Wadler][phil].
)
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.
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 ## How to host literate code

13
index.md
View file

@ -5,15 +5,12 @@ layout : page
This is a rewrite of the text [Software Foundations][sf] This is a rewrite of the text [Software Foundations][sf]
from Coq to Agda. The authors are from Coq to Agda. The authors are
[Wen Kokke][wen] [Wen Kokke][wen] and [Philip Wadler][phil].
) Please send us comments! The text is currrently being drafted. The
and first draft of the first half will be completed before the end of
[Philip Wadler][phil] 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) - [Preface](Preface)

6
src/Preface.lagda
View file

@ -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 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. 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 -- Philip Wadler, Rio de Janeiro, January--June 2018