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

Fixed links in README and index.md

Browse source
This commit is contained in:
Wen Kokke 2018-06-25 11:40:48 +01:00
parent c1bef2c1fe
commit 35a2c02b5b
2 changed files with 5 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -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

21
index.md
View file

@ -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/
<!--
- [Basics: Functional Programming in Agda]({{ "/Basics" | relative_url }})
-->