Commit graph

8 commits

Author SHA1 Message Date
f4d64527c4
fixed some typos; currying 2024-02-05 15:07:13 +01:00
7746866373
ultrafilter limit
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m20s
2024-02-03 02:02:09 +01:00
a4ac283146
some changes on lectures 14 / 15
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2024-02-02 01:48:02 +01:00
c03a62f638
gist for lecture 13
Some checks failed
Build latex and deploy / checkout (push) Failing after 18m9s
2024-01-25 14:01:05 +01:00
c986475c77
gist for lectures 1-4
Some checks failed
Build latex and deploy / checkout (push) Failing after 1m4s
2024-01-23 21:52:45 +01:00
56f36dd553
automatic commit jrpie-PC
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m19s
2024-01-17 01:15:13 +01:00
0d6d392d5d
lecture 09
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m30s
2023-11-14 11:53:30 +01:00
bfcb894c89
lecture 08
Some checks failed
Build latex and deploy / checkout (push) Failing after 12m9s
2023-11-13 00:23:51 +01:00