From: Amin Bandali <bandali@gnu.org>
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