Justin Hsu 5632f6ddb1 POPL slides.		2017-01-23 10:59:24 -05:00
..
about.md	Tighten up bio.	2017-01-17 05:45:18 -05:00
biblio.md	Add journals to website.	2016-02-18 23:42:29 -05:00
body.md	Add journals to website.	2016-02-18 23:42:29 -05:00
contacts.md	Remove Weizmann contacts.	2015-12-17 22:22:55 +13:00
footer.md	Initial version of site almost ready.	2015-01-04 20:43:45 -08:00
news.md	POPL slides.	2017-01-23 10:59:24 -05:00