|
|
f4d64527c4
|
fixed some typos; currying
|
2024-02-05 15:07:13 +01:00 |
|
|
|
c9212aefdd
|
some small changes
Build latex and deploy / checkout (push) Failing after 17m42s
|
2024-02-05 02:14:32 +01:00 |
|
|
|
dfd9be7925
|
reference to sheet 11
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
Build latex and deploy / checkout (push) Failing after 15m54s
|
2024-02-04 01:13:14 +01:00 |
|
|
|
24aca6746f
|
email about exam (2024-01-22)
Build latex and deploy / checkout (push) Failing after 17m36s
|
2024-02-04 00:46:31 +01:00 |
|
|
|
6670dfbf6f
|
some changes
Build latex and deploy / checkout (push) Waiting to run
|
2024-02-04 00:40:13 +01:00 |
|
|
|
7746866373
|
ultrafilter limit
Build latex and deploy / checkout (push) Failing after 17m20s
|
2024-02-03 02:02:09 +01:00 |
|
|
|
93976c4821
|
lecture 27
Build latex and deploy / checkout (push) Failing after 19m35s
|
2024-02-02 12:54:46 +01:00 |
|
|
|
9a244692b1
|
lecture 27
Build latex and deploy / checkout (push) Waiting to run
|
2024-02-02 12:53:02 +01:00 |
|
|
|
7ec05540ef
|
some small changes
Build latex and deploy / checkout (push) Failing after 15m58s
|
2024-02-02 02:01:12 +01:00 |
|
|
|
37f81861df
|
some small changes
Build latex and deploy / checkout (push) Has been cancelled
|
2024-02-02 01:59:54 +01:00 |
|
|
|
1cc501fbe3
|
merge
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
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
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 |
|
|
|
d17e25f4d0
|
lecture 26
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
Build latex and deploy / checkout (push) Failing after 15m19s
|
2024-01-26 11:58:57 +01:00 |
|
|
|
ef3b65edbd
|
some fix for some problem
Build latex and deploy / checkout (push) Failing after 16m47s
|
2024-01-25 20:25:21 +01:00 |
|
|
|
d22cc2f282
|
14
Build latex and deploy / checkout (push) Waiting to run
|
2024-01-25 20:18:46 +01:00 |
|
|
|
c03a62f638
|
gist for lecture 13
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
Build latex and deploy / checkout (push) Failing after 15m10s
|
2024-01-24 23:13:56 +01:00 |
|
|
|
e59e97ca03
|
fix
Build latex and deploy / checkout (push) Failing after 15m26s
|
2024-01-24 16:06:42 +01:00 |
|
|
|
acb56df1c2
|
gist 12
Build latex and deploy / checkout (push) Failing after 16m52s
|
2024-01-24 15:35:14 +01:00 |
|
|
|
3917993d93
|
some small changes
Build latex and deploy / checkout (push) Failing after 15m14s
|
2024-01-24 00:13:59 +01:00 |
|
|
|
0cceab0af9
|
some small changes
Build latex and deploy / checkout (push) Failing after 16m28s
|
2024-01-23 22:07:45 +01:00 |
|
|
|
68a7e9d428
|
fixed typo
Build latex and deploy / checkout (push) Failing after 1m4s
|
2024-01-23 21:55:41 +01:00 |
|
|
|
c986475c77
|
gist for lectures 1-4
Build latex and deploy / checkout (push) Failing after 1m4s
|
2024-01-23 21:52:45 +01:00 |
|
|
|
0a14244eb3
|
gist intro
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
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
Build latex and deploy / checkout (push) Failing after 16m56s
|
2024-01-23 10:57:14 +01:00 |
|
|
|
6777bf60ee
|
lecture 24
Build latex and deploy / checkout (push) Has been cancelled
|
2024-01-23 10:56:16 +01:00 |
|
|
|
5beffa0067
|
test gist
Build latex and deploy / checkout (push) Failing after 19m16s
|
2024-01-22 23:15:32 +01:00 |
|
|
|
415d12cf6a
|
gist test
Build latex and deploy / checkout (push) Successful in 5m6s
|
2024-01-22 17:37:13 +01:00 |
|
|
|
a04a4468b0
|
lecture 23
Build latex and deploy / checkout (push) Failing after 17m38s
|
2024-01-19 11:56:29 +01:00 |
|
|
|
4b9bbd2ef0
|
lecture 23
Build latex and deploy / checkout (push) Has been cancelled
|
2024-01-19 11:53:11 +01:00 |
|
|
|
206b61941e
|
Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3
Build latex and deploy / checkout (push) Failing after 16m1s
|
2024-01-18 17:17:33 +01:00 |
|
|
|
14cc41cea5
|
some small changes
|
2024-01-18 17:17:27 +01:00 |
|
|
|
56f36dd553
|
automatic commit jrpie-PC
Build latex and deploy / checkout (push) Failing after 13m19s
|
2024-01-17 01:15:13 +01:00 |
|
|
|
5dc9e52fc5
|
sheet 11
Build latex and deploy / checkout (push) Failing after 12m50s
|
2024-01-17 00:00:40 +01:00 |
|
|
|
2cf18169c2
|
sheet 11
Build latex and deploy / checkout (push) Has been cancelled
|
2024-01-16 23:59:47 +01:00 |
|
|
|
f074e8841b
|
tutorial 12
Build latex and deploy / checkout (push) Failing after 15m22s
|
2024-01-16 23:14:56 +01:00 |
|
|
|
b0a943abb1
|
fixed typo
Build latex and deploy / checkout (push) Failing after 16m28s
|
2024-01-16 12:07:34 +01:00 |
|
|
|
11cdecd1da
|
22
Build latex and deploy / checkout (push) Waiting to run
|
2024-01-16 12:04:17 +01:00 |
|
