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

Minor changes.

Browse source
This commit is contained in:
Wen Kokke 2020-07-15 14:24:38 +01:00
parent 5d022d7014
commit a79af92920
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/plfa/citing.md
View file

@ -6,11 +6,15 @@ permalink : /Citing/
## PLFA version 20.07
### Chicago
> Wadler, Philip, Wen Kokke, and Jeremy G. Siek.
> _Programming Language Foundations in Agda_.
> Available at `http://plfa.inf.ed.ac.uk/20.07/`.
> 2020.
### BibTeX
@Book{plfa2020,
author = {Philip Wadler and Wen Kokke and Jeremy G. Siek},
title = {Programming Language Foundations in {A}gda},
@ -24,13 +28,12 @@ permalink : /Citing/
### Chicago
> Wadler, Philip and Wen Kokke.
> _Programming Language Foundations in Agda_.
> Available at `http://plfa.inf.ed.ac.uk/19.08/`.
> 2019.
### Bibtex
### BibTeX
@Book{plfa2019,
author = {Philip Wadler and Wen Kokke},