//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 2023-12-13T13:24:13-08:00 //bond15.github.io/files/Bond_EricCV.pdf 2023-12-13T13:24:13-08:00 //bond15.github.io/files/Bond_Eric_Final_CV.pdf 2023-12-13T13:24:13-08:00 //bond15.github.io/files/CV-11-24-23.pdf 2023-12-13T13:24:13-08:00 //bond15.github.io/files/EECS_574_Project.pdf 2023-12-13T13:24:13-08:00