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

Merge pull request #520 from jphmrst2/forPulls

Browse source 
Add UWL class using PLFA for Fall 2020
This commit is contained in:
Philip Wadler 2020-09-29 13:32:33 +01:00 committed by GitHub
commit 021caf38df
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
index.md
View file

@ -76,6 +76,7 @@ Pull requests are encouraged.
#### 2020
* [William Cook, University of Texas][UT-2020]
* [Jeremy Siek, Indiana University][IU-2020]
* [John Maraist, University of Wisconsin-La Crosse][UWL-2020]
#### 2019
* [Dan Ghica, University of Birmingham][BHAM-2019]
@ -105,3 +106,4 @@ Please tell us of others!
[SBMF]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#sbmf
[SCP]: https://homepages.inf.ed.ac.uk/wadler/topics/agda.html#scf
[NextJournal]: https://nextjournal.com/plfa/ToC
[UWL-2020]: https://github.com/jphmrst/PLC/tree/fall2020