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

Add UWL class

Browse source
This commit is contained in:
John Maraist 2020-09-28 16:54:00 -05:00
parent 778d42371d
commit 3bc68bac10
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