From 82ca95acadd6eb8c09dfbf43afba772850ba60e8 Mon Sep 17 00:00:00 2001 From: Amin Bandali Date: Fri, 20 Dec 2019 23:57:33 -0500 Subject: [PATCH 1/1] remove link to se212-f19/ from index, link it from cv instead --- bandali/pages.scm | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) 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 -- 2.20.1