diff --git a/font/Raleway-Italic-VariableFont_wght.ttf b/font/Raleway-Italic-VariableFont_wght.ttf new file mode 100644 index 0000000..7801e66 Binary files /dev/null and b/font/Raleway-Italic-VariableFont_wght.ttf differ diff --git a/font/Raleway-VariableFont_wght.ttf b/font/Raleway-VariableFont_wght.ttf new file mode 100644 index 0000000..424fb0e Binary files /dev/null and b/font/Raleway-VariableFont_wght.ttf differ diff --git a/resume.html b/resume.html index 2599739..e64b977 100644 --- a/resume.html +++ b/resume.html @@ -73,7 +73,8 @@

maypop

— - Instructional implementation of a dependently typed functional programming language capable of formal proofs. + + Dependently typed functional programming language capable of formal proofs. +
  • Exercised public speaking and communication skills by reporting progress to supervisor and presenting to other teams.
  • + -->