Updated Makefile and about page.
This commit is contained in:
parent
3d4c18c317
commit
ebd1b0ad12
2 changed files with 5 additions and 7 deletions
4
Makefile
4
Makefile
|
@ -5,9 +5,7 @@ markdown := $(subst src/,out/,$(subst .lagda,.md,$(agda)))
|
|||
all: $(markdown)
|
||||
|
||||
test: build
|
||||
ruby -S bundle exec jekyll clean
|
||||
ruby -S bundle exec jekyll build
|
||||
ruby -S bundle exec htmlproofer _test
|
||||
ruby -S bundle exec htmlproofer _site
|
||||
|
||||
statistics:
|
||||
hs/agda-count
|
||||
|
|
|
@ -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](https://softwarefoundations.cis.upenn.edu/).
|
||||
This book is an introduction to programming language theory, written in Agda. The authors are [Wen Kokke](https://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](https://softwarefoundations.cis.upenn.edu), but presents the material in a different way; see the [Preface](/Preface/).
|
||||
|
||||
## How to host literate code
|
||||
|
||||
|
@ -45,10 +45,10 @@ See [agda-input.el](https://github.com/agda/agda/blob/master/src/data/emacs-mode
|
|||
C-c C-c x split on variable x
|
||||
C-c C-space fill in hole
|
||||
|
||||
See [the emacs-mode docs]( http://agda.readthedocs.io/en/latest/tools/emacs-mode.html) for more details.
|
||||
See [the emacs-mode docs](http://agda.readthedocs.io/en/latest/tools/emacs-mode.html) for more details.
|
||||
|
||||
## Markdown
|
||||
|
||||
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).
|
||||
For an overview of the Markdown syntax, see [the original description](https://daringfireball.net/projects/markdown/syntax), [the CommonMark project](https://spec.commonmark.org/0.28/), or [the version that is used in this book](https://kramdown.gettalong.org/syntax.html).
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue