Justin Hsu 504481d4ef Pencil in Somesh's lecture.		2018-11-13 17:09:40 -06:00
..
docs	Pencil in Somesh's lecture.	2018-11-13 17:09:40 -06:00
Makefile	Switch deploy back.	2018-09-09 23:26:26 -05:00
mkdocs.yml	Update mkdocs.	2018-10-24 17:35:29 -05:00