Skip to content

Commit

Permalink
s
Browse files Browse the repository at this point in the history
  • Loading branch information
@nevrenato
nevrenato committed May 12, 2024
1 parent 3fe2815 commit 8fb22e7
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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)) |



Expand Down
Binary file added code.zip
View file
Binary file not shown.

0 comments on commit 8fb22e7

Please sign in to comment.