GitHub - MartyO256/martyo256.github.io: Personal website featuring my Résumé and some course notes

MartyO256 / martyo256.github.io Public

Personal website featuring my Résumé and some course notes

martyo256.github.io/

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
_app		_app
en-CA		en-CA
fr-CA		fr-CA
.nojekyll		.nojekyll
Parsing_Lexical_Scoping_and_Incremental_Development_for_a_Dependently_Typed_Programming_Language.pdf		Parsing_Lexical_Scoping_and_Incremental_Development_for_a_Dependently_Typed_Programming_Language.pdf
Towards_a_Mechanization_of_Standard_ML_in_Beluga_using_Harpoon.pdf		Towards_a_Mechanization_of_Standard_ML_in_Beluga_using_Harpoon.pdf
ads.txt		ads.txt
android-chrome-192x192.png		android-chrome-192x192.png
android-chrome-512x512.png		android-chrome-512x512.png
apple-touch-icon.png		apple-touch-icon.png
en-CA.html		en-CA.html
favicon-16x16.png		favicon-16x16.png
favicon-32x32.png		favicon-32x32.png
favicon.ico		favicon.ico
fr-CA.html		fr-CA.html
google802b138915b6af58.html		google802b138915b6af58.html
index.html		index.html
robots.txt		robots.txt
sellers.json		sellers.json
site.webmanifest		site.webmanifest
sitemap.xml		sitemap.xml