Fix #451 - mention mailing lists
This commit is contained in:
Wen Kokke
parent
f6606a8ee6
commit
0003b0465f
2 changed files with 43 additions and 23 deletions
29
beta.md
29
beta.md
|
|
@ -62,23 +62,36 @@ Pull requests are encouraged.
|
|||
|
||||
## Related
|
||||
|
||||
- Mailing lists for PLFA:
|
||||
* [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.
|
||||
* [plfa-dev@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-dev): <br />
|
||||
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:
|
||||
* Philip Wadler, University of Edinburgh,
|
||||
[2018]({{ site.baseurl }}/TSPL/2018/),
|
||||
[2019]({{ site.baseurl }}/TSPL/2019/)
|
||||
* David Darais, University of Vermont,
|
||||
[2018](http://david.darais.com/courses/fa2018-cs295A/)
|
||||
[2018][UVM-CS-295A-2018]
|
||||
* John Leo, Google Seattle, 2018--2019
|
||||
* Philip Wadler, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio),
|
||||
[2019]({{ site.baseurl }}/PUC/2019/)
|
||||
* Prabhakar Ragde, University of Waterloo,
|
||||
[2019](https://cs.uwaterloo.ca/~plragde/842/)
|
||||
[2019][UW-CS-842-2019]
|
||||
* Adrian King,
|
||||
San Francisco Types, Theorems, and Programming Languages Meetup
|
||||
[2019--2020][SFPL-Meetup-2020]
|
||||
* Jeremy Siek, Indiana University,
|
||||
[2020](https://jsiek.github.io/B522-PL-Foundations/)
|
||||
- A paper describing the book appeared in [SBMF][sbmf].
|
||||
[2020][IU-B522-2020]
|
||||
- A paper describing the book appeared in [SBMF][SMBF].
|
||||
- [NextJournal][NextJournal] has built a notebook version of PLFA, which lets you edit and execute the book via a web interface.
|
||||
|
||||
[wen]: https://wenkokke.github.io
|
||||
[phil]: https://homepages.inf.ed.ac.uk/wadler/
|
||||
[jeremy]: http://homes.sice.indiana.edu/jsiek/
|
||||
[GitHub]: https://github.com/plfa/plfa.github.io/
|
||||
[sbmf]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
|
||||
[SMBF]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
|
||||
[NextJournal]: https://nextjournal.com/plfa/ToC
|
||||
[UVM-CS-295A-2018]: https://web.archive.org/web/20190324115921/http://david.darais.com/courses/fa2018-cs295A/
|
||||
[IU-B522-2020]: https://jsiek.github.io/B522-PL-Foundations/
|
||||
[SF-PL-Meetup]: http://meet.meetup.com/wf/click?upn=ZDzXt-2B-2BZmzYir6Bq5X7vEQ2iNYdgjN9-2FU9nWKp99AU8rZjrncUsSYODqOGn6kV-2BqW71oirCo-2Bk8O1q2FtDFhYZR-2B737CPhNWBjt58LuSRC-2BWTj61VZCHquysW8z7dVtQWxB5Sorl3chjZLDptP70L7aBZL14FTERnKJcRQdrMtc-3D_IqHN4t3hH47BvE1Cz0BakIxV4odHudhr6IVs-2Fzslmv-2FBuORsh-2FwQmOxMBdyMHsSBndQDQmt47hobqsLp-2Bm04Y9LwgV66MGyucsd0I9EgDEUB-2FjzdtSgRv-2Fxng8Pgsa3AZIEYILOhLpQ5ige5VFYTEHVN1pEqnujCHovmTxJkqAK9H-2BIL15-2FPxx97RfHcz7M30YNyqp6TOYfgTxyUHc6lufYKFA75Y7MV6MeDJMxw9-2FYUxR6CEjdoagQBmaGkBVzN
|
||||
[UW-CS-842-2019]: https://cs.uwaterloo.ca/~plragde/842/
|
||||
|
|
|
|||
37
index.md
37
index.md
|
|
@ -9,7 +9,7 @@ proof assistant Agda.
|
|||
Comments on all matters---organisation, material to add, material to
|
||||
remove, parts that require better explanation, good exercises, errors,
|
||||
and typos---are welcome. The book repository is on [GitHub].
|
||||
Pull requests are encouraged.
|
||||
Pull requests are encouraged.
|
||||
|
||||
## Front matter
|
||||
|
||||
|
|
@ -47,29 +47,36 @@ Pull requests are encouraged.
|
|||
|
||||
## Related
|
||||
|
||||
- Mailing lists for PLFA:
|
||||
* [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.
|
||||
* [plfa-dev@inf.ed.ac.uk](http://lists.inf.ed.ac.uk/mailman/listinfo/plfa-dev): <br />
|
||||
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:
|
||||
* Philip Wadler, University of Edinburgh,
|
||||
[2018]({{ site.baseurl }}/TSPL/2018/),
|
||||
[2019]({{ site.baseurl }}/TSPL/2019/)
|
||||
* David Darais, University of Vermont,
|
||||
[2018](http://david.darais.com/courses/fa2018-cs295A/)
|
||||
* John Leo, Google Seattle, 2018--2019
|
||||
[2018][UVM-CS-295A-2018]
|
||||
* John Leo, Google Seattle, 2018--2019
|
||||
* Philip Wadler, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio),
|
||||
[2019]({{ site.baseurl }}/PUC/2019/)
|
||||
* Prabhakar Ragde, University of Waterloo,
|
||||
[2019](https://cs.uwaterloo.ca/~plragde/842/)
|
||||
[2019][UW-CS-842-2019]
|
||||
* Adrian King,
|
||||
San Francisco Types, Theorems, and Programming Languages Meetup
|
||||
[2019-20](http://meet.meetup.com/wf/click?upn=ZDzXt-2B-2BZmzYir6Bq5X7vEQ2iNYdgjN9-2FU9nWKp99AU8rZjrncUsSYODqOGn6kV-2BqW71oirCo-2Bk8O1q2FtDFhYZR-2B737CPhNWBjt58LuSRC-2BWTj61VZCHquysW8z7dVtQWxB5Sorl3chjZLDptP70L7aBZL14FTERnKJcRQdrMtc-3D_IqHN4t3hH47BvE1Cz0BakIxV4odHudhr6IVs-2Fzslmv-2FBuORsh-2FwQmOxMBdyMHsSBndQDQmt47hobqsLp-2Bm04Y9LwgV66MGyucsd0I9EgDEUB-2FjzdtSgRv-2Fxng8Pgsa3AZIEYILOhLpQ5ige5VFYTEHVN1pEqnujCHovmTxJkqAK9H-2BIL15-2FPxx97RfHcz7M30YNyqp6TOYfgTxyUHc6lufYKFA75Y7MV6MeDJMxw9-2FYUxR6CEjdoagQBmaGkBVzN)
|
||||
[2019--2020][SFPL-Meetup-2020]
|
||||
* Jeremy Siek, Indiana University,
|
||||
[2020](https://jsiek.github.io/B522-PL-Foundations/)
|
||||
- A paper describing the book appeared in [SBMF][sbmf].
|
||||
- A notebook version of the textbook
|
||||
is available at [NextJournal][nextjournal].
|
||||
It lets you edit and execute the book via a web interface.
|
||||
|
||||
[wen]: https://github.com/wenkokke
|
||||
[phil]: https://homepages.inf.ed.ac.uk/wadler/
|
||||
[2020][IU-B522-2020]
|
||||
- A paper describing the book appeared in [SBMF][SMBF].
|
||||
- [NextJournal][NextJournal] has built a notebook version of PLFA, which lets you edit and execute the book via a web interface.
|
||||
|
||||
[GitHub]: https://github.com/plfa/plfa.github.io/
|
||||
[sbmf]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
|
||||
[nextjournal]: https://nextjournal.com/plfa/ToC
|
||||
[SMBF]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
|
||||
[NextJournal]: https://nextjournal.com/plfa/ToC
|
||||
[UVM-CS-295A-2018]: https://web.archive.org/web/20190324115921/http://david.darais.com/courses/fa2018-cs295A/
|
||||
[IU-B522-2020]: https://jsiek.github.io/B522-PL-Foundations/
|
||||
[SF-PL-Meetup]: http://meet.meetup.com/wf/click?upn=ZDzXt-2B-2BZmzYir6Bq5X7vEQ2iNYdgjN9-2FU9nWKp99AU8rZjrncUsSYODqOGn6kV-2BqW71oirCo-2Bk8O1q2FtDFhYZR-2B737CPhNWBjt58LuSRC-2BWTj61VZCHquysW8z7dVtQWxB5Sorl3chjZLDptP70L7aBZL14FTERnKJcRQdrMtc-3D_IqHN4t3hH47BvE1Cz0BakIxV4odHudhr6IVs-2Fzslmv-2FBuORsh-2FwQmOxMBdyMHsSBndQDQmt47hobqsLp-2Bm04Y9LwgV66MGyucsd0I9EgDEUB-2FjzdtSgRv-2Fxng8Pgsa3AZIEYILOhLpQ5ige5VFYTEHVN1pEqnujCHovmTxJkqAK9H-2BIL15-2FPxx97RfHcz7M30YNyqp6TOYfgTxyUHc6lufYKFA75Y7MV6MeDJMxw9-2FYUxR6CEjdoagQBmaGkBVzN
|
||||
[UW-CS-842-2019]: https://cs.uwaterloo.ca/~plragde/842/
|
||||
|
|
|
|||
Loading…
Reference in a new issue