3 commits

Author	SHA1	Message	Date
Jacky Zhao	fd5c8d17d3	basic search implementation	2023-06-19 20:37:45 -07:00
Jacky Zhao	c4cf0dcb02	local and global graph	2023-06-18 10:47:07 -07:00
Jacky Zhao	917d5791ac	modern toc tweaks	2023-06-16 19:41:59 -07:00