Compare revisions

b01f7cdc · b01f7cdc · b01f7cdc · 6a85067d · 6a85067d · 6a85067d
--- a/info/past-exams/2022/Exam-2022.pdf
+++ b/info/past-exams/2022/Exam-2022.pdf
--- a/info/past-exams/2022/Solutions-Exam-2022.pdf
+++ b/info/past-exams/2022/Solutions-Exam-2022.pdf
--- a/info/teamwork.md
+++ b/info/teamwork.md
--- a/labs/amy-specification/Factorial.scala
+++ b/labs/amy-specification/Factorial.scala
--- a/labs/amy-specification/Hello2.scala
+++ b/labs/amy-specification/Hello2.scala
--- a/labs/amy-specification/List1.scala
+++ b/labs/amy-specification/List1.scala
--- a/labs/amy-specification/List2.scala
+++ b/labs/amy-specification/List2.scala
--- a/labs/amy-specification/List3.scala
+++ b/labs/amy-specification/List3.scala
--- a/labs/amy-specification/List4.scala
+++ b/labs/amy-specification/List4.scala
--- a/labs/amy-specification/compile.sh
+++ b/labs/amy-specification/compile.sh
--- a/labs/amy-specification/defs.sty
+++ b/labs/amy-specification/defs.sty
--- a/labs/amy-specification/formal.tex
+++ b/labs/amy-specification/formal.tex
--- a/labs/amy-specification/informal.tex
+++ b/labs/amy-specification/informal.tex
--- a/labs/amy-specification/introduction.tex
+++ b/labs/amy-specification/introduction.tex
--- a/labs/amy-specification/library.tex
+++ b/labs/amy-specification/library.tex
--- a/labs/amy-specification/main.pdf
+++ b/labs/amy-specification/main.pdf
--- a/labs/amy-specification/main.tex
+++ b/labs/amy-specification/main.tex
--- a/labs/amy-specification/moretypes.tex
+++ b/labs/amy-specification/moretypes.tex
--- a/labs/amy-specification/scalalistings.tex
+++ b/labs/amy-specification/scalalistings.tex
--- a/labs/amy-specification/semantics.tex
+++ b/labs/amy-specification/semantics.tex
No results found