Commit graph

12 commits

Author SHA1 Message Date
bbb891594c
small fix
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m33s
2024-02-12 19:14:38 +01:00
458dd9ab1f
fixed some typesetting problems
Some checks failed
Build latex and deploy / checkout (push) Failing after 19m2s
2024-02-09 20:23:05 +01:00
5b34fb34d1
countable well-orders
Some checks failed
Build latex and deploy / checkout (push) Failing after 18m44s
2024-02-06 20:25:05 +01:00
f4d64527c4
fixed some typos; currying 2024-02-05 15:07:13 +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
d22cc2f282
14
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-01-25 20:18:46 +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
f7f9d7d638
some changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m10s
2024-01-24 23:13:56 +01:00
e59e97ca03
fix
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m26s
2024-01-24 16:06:42 +01:00
daec11591d
lecture 15
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2023-12-08 01:39:20 +01:00
0612713145
lecture 14
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2023-12-01 11:58:27 +01:00
a0c5bbad0b
13
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m37s
2023-11-28 11:58:58 +01:00