Update website

Author: jmct

www/assignments.scrbl

@@ -4,11 +4,11 @@
 @local-table-of-contents[#:style 'immediate-only]
 
 @include-section{assignments/1.scrbl}
-@include-section{assignments/2.scrbl}
-@include-section{assignments/3.scrbl}
-@include-section{assignments/4.scrbl}
-@include-section{assignments/5.scrbl}
-@include-section{assignments/6.scrbl}
+@;include-section{assignments/2.scrbl}
+@;include-section{assignments/3.scrbl}
+@;include-section{assignments/4.scrbl}
+@;include-section{assignments/5.scrbl}
+@;include-section{assignments/6.scrbl}
 @;;include-section{assignments/7.scrbl}
 
 @;{assignment 8: quote in general, and quasiquote}

www/defns.rkt

@@ -3,7 +3,8 @@
 (require scribble/core scribble/html-properties scribble/manual) 
 
 (define prof (link "http://jmct.cc/" "José Manuel Calderón Trilla"))
-(define prof-email "jmct@cs.umd.edu")
+(define prof-email "jmct@umd.edu")
+(define prof-initials "JMCT")
 
 (define semester "spring")
 (define year "2022")
@@ -15,14 +16,15 @@
 
 (define m1-date "TBD")
 (define m2-date "TBD")
-(define final-date "Friday May 13, 8am - 10am")
+(define final-date "TBD")
 (define elms-url "TBD")
 
 (define racket-version "8.3")
 
 (define staff
-  (list #;(list "William Chung" "wchung1@terpmail.umd.edu" "Th 3:30-5:30 Online")
-        #;(list "Justin Frank" "jpfrank@umd.edu" "W 12:00-2:00 AVW 4160")
+  (list (list "Maniktala Dhruv" "dmanikt@umd.edu" "M/Tu 15:30-16:30 AVW 4160")
+        (list "Benjamin Glover Quiring" "bquiring@umd.edu" "W 14:00-16:00 AVW 4160")
+        (list "William Chung" "wchung1@terpmail.umd.edu" "Thu 14:00-16:00 AVW 4160")
         #;(list "Vyas Gupta" "vgupta13@terpmail.umd.edu" "F 1:30-3:30 AVW 4160")))
 
 (define lecture-schedule "Tuesday & Thursday, 9:30am - 10:45pm, IRB 0318")

www/notes/dupe.scrbl

@@ -859,7 +859,7 @@ our usual appraoch:
                 e))
 
 (check-correctness (parse '(add1 7)))
-(eval:error (check-correctness (parse '(add1 #f))))
+;;(eval:error (check-correctness (parse '(add1 #f))))
 ]
 
 This isn't a counter-example to correctness because @racket['(add1

www/schedule.scrbl

@@ -4,7 +4,7 @@
 
 @title[#:style 'unnumbered]{Schedule}
 
-@;(TuTh 2-3:15, Online)
+@;(TuTh 9:30-10:45, IRB 0318)
 
 @(define (wk d) (nonbreaking (bold d)))
 
@@ -88,8 +88,8 @@
 
                (list @wk{4/19}
                      ""
-                     @elem{Self-hosting}
-                     @elem{No class, Thanksgiving.})
+                     @elem{Self-hosting?}
+                     @elem{Self-hosting?})
 
                (list @wk{4/26}
                      @seclink["Assignment 6"]{A6}

www/slides/ocaml-to-racket.rkt

@@ -4,18 +4,16 @@
 
 ;; Title
 (slide
-  #:title "CMSC 430, Jan 30th 2020"
+  #:title "CMSC 430, Jan 27th 2022"
   (with-size 64 (tt "OCaml to Racket")))
 
 ;; Stuff I forgot from last time
 (slide
   #:title "Admin take 2"
   'next
-  (item "My name: José")
+  (item "My email: " (tt "jmct@umd.edu"))
   'next
-  (item "My email (for now): " (tt "jmct@jmct.cc"))
-  'next
-  (item "Website: " (tt "cs.umd.edu/class/spring2020/cmsc430/")) )
+  (item "Website: " (tt "cs.umd.edu/class/spring2022/cmsc430/")) )
 
 ;; Remind them that OCaml is 'cool'
 (slide
@@ -63,7 +61,7 @@
   'next
   (item "PLT Scheme was original aimed as a" (text "pedagogical" '(italic) (current-font-size)) "tool for those learning programming and PLT")
   'next
-  (item "Racket has a notion of 'language levels'")
+  (item "Racket has a notion of `language levels'")
   'next
   (subitem "This allows features to be enabled/disabled so that they can be learned/understood individually")
   'next
@@ -78,7 +76,7 @@
  (para "The code for the first slide looked like this:")
  (code (slide
           #:title "OCaml to Racket"
-          (item "CMSC 430, Jan 30th 2020"))))
+          (item "CMSC 430, Jan 27th 2022"))))
 
 ;; Is it still used (answer to question #3)
 (slide

www/syllabus.scrbl

@@ -77,7 +77,7 @@ topics might need more attention.}
 
 The discord server is there for you to organize as a class, ask questions of
 each other, and to get help from staff. Its main purpose is as a vehicle for
-office hours. That said, feel free to use the discord for discussion. I (DVH)
+office hours. That said, feel free to use the discord for discussion. I (@prof-initials)
 will check periodically, but if you would like to ask a question directly to
 the course staff, office hours and email remain the prioritized forms of
 communication.