From: Amin Bandali Date: Sat, 21 Dec 2019 04:57:33 +0000 (-0500) Subject: remove link to se212-f19/ from index, link it from cv instead X-Git-Url: https://git.shemshak.org/gitweb.cgi/~bandali/bndl.org/commitdiff_plain/82ca95acadd6eb8c09dfbf43afba772850ba60e8 remove link to se212-f19/ from index, link it from cv instead --- diff --git a/bandali/pages.scm b/bandali/pages.scm index ec6c975..dccfbd1 100644 --- a/bandali/pages.scm +++ b/bandali/pages.scm @@ -55,10 +55,6 @@ "programming languages, theorem provers, and their " "type systems. You may wish to view my academic " ,(aa "curriculum vitae" "bandali-cv.html") ".") - (p (@ (class "notice")) - (strong "SE 212 students: ") - "see " ,(aa "here" "se212-f19/") " for slides and other " - "material from the tutorials.") (p "On the side, I dabble in " ,(aa "Lean" "https://leanprover.github.io") " and enjoy " ,(aa "hacking" "https://stallman.org/articles/on-hacking.html") @@ -292,8 +288,9 @@ "Research Assistant") (ul (li (abbr (@ (title "Logic and Computation")) "SE 212") ": " - (abbr (@ (title "Instructional Apprentice")) "IA") " in " - "Fall 2019, " + ,(aa `((abbr (@ (title "Instructional Apprentice")) "IA") + " in Fall 2019") "se212-f19/") + ", " (abbr (@ (title "Teaching Assistant")) "TA") " in " "Fall 2018") (li (abbr (@ (title ,(string-append