Commit graph

124 commits

Author SHA1 Message Date
e3dea569e8
fixed typo
Some checks failed
Build latex and deploy / checkout (push) Failing after 18m0s
2024-02-06 20:00:49 +01:00
227e2ac7b9
order / rank
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-02-06 19:51:03 +01:00
8c3be56270
fixed typo
Some checks failed
Build latex and deploy / checkout (push) Failing after 12m28s
2024-02-06 15:48:39 +01:00
de2d240c5a
more details
All checks were successful
Build latex and deploy / checkout (push) Successful in 5m7s
2024-02-06 15:16:20 +01:00
415ff41b60
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2024-02-06 15:11:38 +01:00
30701555de
more details 2024-02-06 15:11:31 +01:00
ba609dfed0
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m21s
2024-02-06 01:46:55 +01:00
59d595f9ef
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m13s
2024-02-05 23:36:57 +01:00
6c2a76d838
improved lecture 17
Some checks failed
Build latex and deploy / checkout (push) Failing after 18m19s
2024-02-05 20:30:13 +01:00
f4d64527c4
fixed some typos; currying 2024-02-05 15:07:13 +01:00
c9212aefdd
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m42s
2024-02-05 02:14:32 +01:00
dfd9be7925
reference to sheet 11
Some checks failed
Build latex and deploy / checkout (push) Failing after 18m14s
2024-02-04 13:38:53 +01:00
236874b1a5
some small changes 2024-02-04 01:36:10 +01:00
24ed36d0a7
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m54s
2024-02-04 01:13:14 +01:00
24aca6746f
email about exam (2024-01-22)
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m36s
2024-02-04 00:46:31 +01:00
6670dfbf6f
some changes
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-02-04 00:40: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
93976c4821
lecture 27
Some checks failed
Build latex and deploy / checkout (push) Failing after 19m35s
2024-02-02 12:54:46 +01:00
9a244692b1
lecture 27
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-02-02 12:53:02 +01:00
7ec05540ef
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m58s
2024-02-02 02:01:12 +01:00
37f81861df
some small changes
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2024-02-02 01:59:54 +01:00
1cc501fbe3
merge
Some checks are pending
Build latex and deploy / checkout (push) Waiting to run
2024-02-02 01:54:45 +01:00
5ed13d630f
additional tutorial 2024-02-02 01:48:47 +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
8913d34435
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 2024-02-01 18:28:01 +01:00
53577d9b57
tutorial 14
Some checks failed
Build latex and deploy / checkout (push) Failing after 19m38s
2024-01-30 18:50:21 +01:00
8c1cdc3587
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 2024-01-30 17:56:20 +01:00
41fe970a0b
lecture 26
Some checks failed
Build latex and deploy / checkout (push) Failing after 19m2s
2024-01-30 12:10:16 +01:00
d17e25f4d0
lecture 26
All checks were successful
Build latex and deploy / checkout (push) Successful in 5m9s
2024-01-30 11:55:30 +01:00
de8e41de83
fixed typo 2024-01-29 19:19:13 +01:00
8f86b71d92
lecture 25
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m19s
2024-01-26 11:58:57 +01:00
ef3b65edbd
some fix for some problem
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m47s
2024-01-25 20:25:21 +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
67a851748e
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3 2024-01-25 12:38:55 +01:00
0f4328f0d1
small changes 2024-01-25 12:38:52 +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
acb56df1c2
gist 12
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m52s
2024-01-24 15:35:14 +01:00
3917993d93
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 15m14s
2024-01-24 00:13:59 +01:00
0cceab0af9
some small changes
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m28s
2024-01-23 22:07:45 +01:00
68a7e9d428
fixed typo
Some checks failed
Build latex and deploy / checkout (push) Failing after 1m4s
2024-01-23 21:55:41 +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
0a14244eb3
gist intro
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m58s
2024-01-23 20:56:14 +01:00
09658bbcb5
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m41s
2024-01-23 14:29:32 +01:00
4d3e3c2a49
tutorial 13 2024-01-23 14:29:27 +01:00
8f800b4403
Homework
Some checks failed
Build latex and deploy / checkout (push) Failing after 16m56s
2024-01-23 10:57:14 +01:00
6777bf60ee
lecture 24
Some checks failed
Build latex and deploy / checkout (push) Has been cancelled
2024-01-23 10:56:16 +01:00
5beffa0067
test gist
Some checks failed
Build latex and deploy / checkout (push) Failing after 19m16s
2024-01-22 23:15:32 +01:00
415d12cf6a
gist test
All checks were successful
Build latex and deploy / checkout (push) Successful in 5m6s
2024-01-22 17:37:13 +01:00