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

Fixed links in README

Browse source
This commit is contained in:
Wen Kokke 2018-06-25 11:33:34 +01:00
parent b74b24d0ef
commit c1bef2c1fe
1 changed files with 4 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

19
README.md
View file

@ -4,16 +4,11 @@ title: About
permalink: /about/
---
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][twitter.com/PhilipWadler].
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.
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][sf], 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
@ -54,12 +49,6 @@ See [the emacs-mode docs]( http://agda.readthedocs.io/en/latest/tools/emacs-mode
## Markdown
For an overview of the Markdown syntax, see [the original description](
https://daringfireball.net/projects/markdown/syntax
), [the CommonMark project](
http://spec.commonmark.org/0.28/
), or [the version that is used in this book](
https://kramdown.gettalong.org/syntax.html
).
For an overview of the Markdown syntax, see [the original description](daringfireball.net/projects/markdown/syntax), [the CommonMark project](spec.commonmark.org/0.28/), or [the version that is used in this book](kramdown.gettalong.org/syntax.html).