//bond15.github.io/posts/2022/11/27/FunExtCubicalAgda/ 2022-11-27T00:00:00-08:00 //bond15.github.io/ //bond15.github.io/archive-layout-with-content/ //bond15.github.io/categories/ //bond15.github.io/collection-archive/ //bond15.github.io/cv/ //bond15.github.io/markdown/ //bond15.github.io/non-menu-page/ //bond15.github.io/projects/ //bond15.github.io/tags/ //bond15.github.io/year-archive/ //bond15.github.io/markdown_generator/ //bond15.github.io/files/583_Project.pdf 2026-11-13T08:45:32-08:00 //bond15.github.io/files/Bond_EricCV.pdf 2026-11-13T08:45:32-08:00 //bond15.github.io/files/Bond_Eric_Final_CV.pdf 2026-11-13T08:45:32-08:00 //bond15.github.io/files/CV-11-24-23.pdf 2026-11-13T08:45:32-08:00 //bond15.github.io/files/EECS_574_Project.pdf 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/discussion1.html 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/discussion2.html 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/discussion3.html 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/discussion4.html 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/discussion5.html 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/discussion6.html 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/discussion7.html 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/discussion8.html 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/discussion9.html 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/ 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/lecture20.html 2026-11-13T08:45:32-08:00 //bond15.github.io/midterm-review/rocq-guide.html 2026-11-13T08:45:32-08:00