Merge branch 'master' of ssh://c4science.ch/source/sp4e

516a7120 · Emil · 72340561 · 6db5c5c4 · 516a7120 · 516a7120
Commit 516a7120 authored Oct 29, 2020 by Emil
--- a/lectures/figures/encapsulation.png
+++ b/lectures/figures/encapsulation.png
--- a/lectures/figures/typing.png
+++ b/lectures/figures/typing.png
--- a/lectures/week6.html
+++ b/lectures/week6.html