Fix versions
This commit is contained in:
Wen Kokke
parent
f3a95cb994
commit
d4c89dfeec
3 changed files with 22 additions and 23 deletions
4
.gitignore
vendored
4
.gitignore
vendored
|
|
@ -21,11 +21,9 @@ Gemfile.lock
|
|||
*.spl
|
||||
*.synctex.gz
|
||||
|
||||
## Lua files
|
||||
lua_modules/
|
||||
|
||||
## Emacs files
|
||||
auto/
|
||||
|
||||
## Misc build files
|
||||
out/
|
||||
.versions/
|
||||
|
|
|
|||
15
Makefile
15
Makefile
|
|
@ -52,8 +52,8 @@ build-incremental: $(MARKDOWN_FILES)
|
|||
# Download PLFA web releases
|
||||
build-history: latest/ $(RELEASES)
|
||||
|
||||
latest/: $(addprefix plfa.github.io-web-,$(addsuffix /,$(LATEST_VERSION)))
|
||||
cd $< && $(JEKYLL) clean && $(JEKYLL) build --destination '../latest' --baseurl '/latest'
|
||||
latest/: $(addprefix .versions/plfa.github.io-web-,$(addsuffix /,$(LATEST_VERSION))) | .versions/
|
||||
cd $< && $(JEKYLL) clean && $(JEKYLL) build --destination '../../latest' --baseurl '/latest'
|
||||
|
||||
# Download PLFA web release and build it under the relevant folder
|
||||
define build_release
|
||||
|
|
@ -63,7 +63,7 @@ tmp_zip := $(addprefix .versions/plfa.github.io-web-,$(addsuffix .zip,$(1)))
|
|||
tmp_dir := $(addprefix .versions/plfa.github.io-web-,$(addsuffix /,$(1)))
|
||||
baseurl := $(addprefix /,$(1))
|
||||
|
||||
$$(tmp_zip): tmp_zip = $(addprefix plfa.github.io-web-,$(addsuffix .zip,$(1)))
|
||||
$$(tmp_zip): tmp_zip = $(addprefix .versions/plfa.github.io-web-,$(addsuffix .zip,$(1)))
|
||||
$$(tmp_zip): url = $(addprefix https://github.com/plfa/plfa.github.io/archive/web-,$(addsuffix .zip,$(1)))
|
||||
$$(tmp_zip):
|
||||
wget -c $$(url) -O $$(tmp_zip)
|
||||
|
|
@ -71,21 +71,24 @@ $$(tmp_zip):
|
|||
$$(tmp_dir): tmp_dir = $(addprefix .versions/plfa.github.io-web-,$(addsuffix /,$(1)))
|
||||
$$(tmp_dir): tmp_zip = $(addprefix .versions/plfa.github.io-web-,$(addsuffix .zip,$(1)))
|
||||
$$(tmp_dir): $$(tmp_zip) | .versions/
|
||||
unzip -qq $$(tmp_zip)
|
||||
unzip -qq $$(tmp_zip) -d .versions/
|
||||
|
||||
$$(out): out = $(addsuffix /,$(1))
|
||||
$$(out): url = $(addprefix https://github.com/plfa/plfa.github.io/archive/web-,$(addsuffix .zip,$(1)))
|
||||
$$(out): tmp_dir = $(addprefix .versions/plfa.github.io-web-,$(addsuffix /,$(1)))
|
||||
$$(out): baseurl = $(addprefix /,$(1))
|
||||
$$(out): $$(tmp_dir)
|
||||
cd $$(tmp_dir) && $(JEKYLL) clean && $(JEKYLL) build --destination '../../$$(out)' --baseurl '$$(baseurl)'
|
||||
cd $$(tmp_dir) \
|
||||
&& rm -rf _posts \
|
||||
&& $(JEKYLL) clean \
|
||||
&& $(JEKYLL) build --destination '../../$$(out)' --baseurl '$$(baseurl)'
|
||||
endef
|
||||
|
||||
# Incorporate previous releases of PLFA web version
|
||||
$(foreach release_version,$(RELEASE_VERSIONS),$(eval $(call build_release,$(release_version))))
|
||||
|
||||
.versions/:
|
||||
mkdir -p .versions
|
||||
mkdir -p .versions/
|
||||
|
||||
|
||||
# Convert literal Agda to Markdown using highlight.sh
|
||||
|
|
|
|||
26
index.md
26
index.md
|
|
@ -1,6 +1,6 @@
|
|||
---
|
||||
title : Table of Contents
|
||||
layout : page
|
||||
title : Table of Contents
|
||||
layout : page
|
||||
---
|
||||
|
||||
This book is an introduction to programming language theory using the
|
||||
|
|
@ -61,7 +61,8 @@ Pull requests are encouraged.
|
|||
|
||||
## Related
|
||||
|
||||
Mailing lists for PLFA:
|
||||
### Mailing lists
|
||||
|
||||
* [plfa-interest@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-interest): <br />
|
||||
A mailing list for users of the book. <br />
|
||||
This is the place to ask and answer questions, or comment on the content of the book.
|
||||
|
|
@ -69,28 +70,25 @@ Mailing lists for PLFA:
|
|||
A mailing list for contributors. <br />
|
||||
This is the place to discuss changes and new additions to the book in excruciating detail.
|
||||
|
||||
Courses taught from the textbook (please tell us of others):
|
||||
- 2020:
|
||||
### Courses taught from the textbook
|
||||
|
||||
#### 2020
|
||||
* [William Cook, University of Texas][UT-2020]
|
||||
* [Jeremy Siek, Indiana University][IU-2020]
|
||||
- 2019:
|
||||
|
||||
#### 2019
|
||||
* [Dan Ghica, University of Birmingham][BHAM-2019]
|
||||
* [Adrian King, San Francisco Types, Theorems, and Programming Languages Meetup][SFPL-Meetup-2020]
|
||||
* [Prabhakar Ragde, University of Waterloo][UW-2019]
|
||||
* [Philip Wadler, University of Edinburgh]({{ site.baseurl }}/TSPL/2019/)
|
||||
* [Philip Wadler, Pontifícia Universidade Católica do Rio de Janeiro]({{ site.baseurl }}/PUC/2019/)
|
||||
- 2018:
|
||||
|
||||
#### 2018
|
||||
* [Philip Wadler, University of Edinburgh]({{ site.baseurl }}/TSPL/2018/)
|
||||
* [David Darais, University of Vermont][UVM-2018]
|
||||
* John Leo, Google Seattle
|
||||
|
||||
Shortlisted for Outstanding Course by Edinburgh University Student Association (second place) [2020][EUSA-2020]:
|
||||
* "Types and Semantics for Programming Languages was the single best course I took throughout my time at the University of Edinburgh. Philip Wadler clearly poured his heart into teaching it, including writing a whole textbook including exercises specifically for the course."
|
||||
* "One of the most inspiring courses. Philip designed a course that is both very theoretical and very practical."
|
||||
|
||||
A paper describing the book appeared in [SBMF][SBMF] and [SCP][SCP].
|
||||
|
||||
[NextJournal][NextJournal] has built a notebook version of PLFA, which lets you edit and execute the book via a web interface.
|
||||
Please tell us of others!
|
||||
|
||||
[GitHub]: https://github.com/plfa/plfa.github.io/
|
||||
[UVM-2018]: https://web.archive.org/web/20190324115921/http://david.darais.com/courses/fa2018-cs295A/
|
||||
|
|
|
|||
Loading…
Reference in a new issue