diff --git a/README.md b/README.md index 085d0d7..93ced95 100644 --- a/README.md +++ b/README.md @@ -30,7 +30,7 @@ concurrent algorithms. | 15 apr. 2024 | Continuation of the previous lecture. Introduction to programming with effects ([slides](monads/lambdaCalc.pdf)) | | 22 apr. 2024 | Continuation of the previous lecture. Lambda-calculus with algebraic operations ([slides](monads/stlcE.pdf)) | | 29 apr. 2024 | Introduction to monads. Examples and exercises ([slides](monads/stlcE.pdf)) | - | 13 may 2024 | Semantics of lambda-calculus with algebraic operations. Programming with monads. ([slides](monads/stlcE.pdf) and [code](code.zip) | + | 13 may 2024 | Semantics of lambda-calculus with algebraic operations. Programming with monads. ([slides](monads/stlcE.pdf) and [code](code.zip)) | diff --git a/code.zip b/code.zip new file mode 100644 index 0000000..7870715 Binary files /dev/null and b/code.zip differ