|
handouts
|
Session 2: one voice throughout, and source links that open
|
2026-09-09 09:25:02 +02:00 |
|
labs/lab2-persistent-queue
|
Lab 2: Java solver reaches parity; versions[40] phrasing; the browser-sharing callout
|
2026-09-09 11:20:59 +02:00 |
|
slides
|
Session 2 deck: drop the Okasaki thesis slide
|
2026-09-09 10:54:56 +02:00 |
|
.gitignore
|
Course material for Programming Paradigms, SW7 autumn 2026
|
2026-09-09 05:58:16 +02:00 |
|
index.html
|
Session 2: OCaml homework exercises, and the Conchon-Filliatre book
|
2026-09-09 09:00:13 +02:00 |
|
README.md
|
Course material for Programming Paradigms, SW7 autumn 2026
|
2026-09-09 05:58:16 +02:00 |
|
s1.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
s2.html
|
Session 2 page: correct the free-history claim, and cite the section it comes from
|
2026-09-09 11:11:11 +02:00 |
|
s3.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
s4.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
s5.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
s6.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
s7.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
s8.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
s9.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
s10.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
s11.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
s12.html
|
Session 2: a page written to be read, not a spec table
|
2026-09-09 07:14:51 +02:00 |
|
style.css
|
Session 2: one A-E lab table, handout grouped under Lab
|
2026-09-09 07:34:05 +02:00 |
