move 404.html to static/

[~bandali/bndl.org] / bandali / pages.scm

diff --git a/bandali/pages.scm b/bandali/pages.scm
index ec6c975..dccfbd1 100644 (file)
--- 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") ".")
        "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")
     (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") ": "
         "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
           (abbr (@ (title "Teaching Assistant")) "TA") " in "
           "Fall 2018")
       (li (abbr (@ (title ,(string-append