w23-logic-3

Author	SHA1	Message	Date
Josia Pietsch	458dd9ab1f	fixed some typesetting problems Some checks failed Build latex and deploy / checkout (push) Failing after 19m2s Details	2024-02-09 20:23:05 +01:00
Josia Pietsch	f4d64527c4	fixed some typos; currying	2024-02-05 15:07:13 +01:00
Josia Pietsch	14cc41cea5	some small changes	2024-01-18 17:17:27 +01:00
Josia Pietsch	eb87abe472	lecture 11 Some checks failed Build latex and deploy / checkout (push) Failing after 12m40s Details	2023-11-21 12:34:38 +01:00
Josia Pietsch	820f756bd4	lecture 10 Some checks failed Build latex and deploy / checkout (push) Failing after 16m37s Details	2023-11-17 15:00:39 +01:00