[ typo ] in the bibtex url

gallais · wenkokke · commit 54ecfea5c081 · 2023-02-07T14:26:03.000Z
diff --git a/web/Citing.md b/web/Citing.md
@@ -20,7 +20,7 @@ permalink      : /Citing/
     title  = {Programming Language Foundations in {A}gda},
     year   = {2022},
     month  = aug,
-    url    = {https://plfa.inf.ed.ac.uk/20.08/},
+    url    = {https://plfa.inf.ed.ac.uk/22.08/},
 }
 ```
 

Original file line number	Diff line number	Diff line change
`@@ -20,7 +20,7 @@ permalink : /Citing/`
`20`	`20`	`title = {Programming Language Foundations in {A}gda},`
`21`	`21`	`year = {2022},`
`22`	`22`	`month = aug,`
`23`		`- url = {https://plfa.inf.ed.ac.uk/20.08/},`
	`23`	`+ url = {https://plfa.inf.ed.ac.uk/22.08/},`
`24`	`24`	`}`
`25`	`25`	```
`26`	`26`