4 Commits

Author	SHA1	Message	Date
Justin Hsu	50b4d69442	For some reason, Hakyll doesn't like the + symbol.	2015-05-13 13:11:10 -04:00
Justin Hsu	3f86aaae9d	Add POPL slides.	2015-01-26 15:37:55 +01:00
Justin Hsu	6bcab7ce96	Makefile and deploy.	2015-01-04 22:20:06 -08:00
Justin Hsu	eb2315d12a	Add pdfs.	2015-01-04 20:44:01 -08:00