w23-logic-3

Author	SHA1	Message	Date
Josia Pietsch	bc8b5a8b6c	more gist Some checks failed Build latex and deploy / checkout (push) Failing after 15m14s Details	2024-02-07 22:48:53 +01:00
Josia Pietsch	d7809a884a	some changes All checks were successful Build latex and deploy / checkout (push) Successful in 5m5s Details	2024-02-07 13:18:14 +01:00
Josia Pietsch	f4d64527c4	fixed some typos; currying	2024-02-05 15:07:13 +01:00
Josia Pietsch	6670dfbf6f	some changes Some checks are pending Build latex and deploy / checkout (push) Waiting to run Details	2024-02-04 00:40:13 +01:00
Josia Pietsch	37f81861df	some small changes Some checks failed Build latex and deploy / checkout (push) Has been cancelled Details	2024-02-02 01:59:54 +01:00
Josia Pietsch	1cc501fbe3	merge Some checks are pending Build latex and deploy / checkout (push) Waiting to run Details	2024-02-02 01:54:45 +01:00
Josia Pietsch	5ed13d630f	additional tutorial	2024-02-02 01:48:47 +01:00
Josia Pietsch	a4ac283146	some changes on lectures 14 / 15 Some checks failed Build latex and deploy / checkout (push) Has been cancelled Details	2024-02-02 01:48:02 +01:00
Josia Pietsch	8c1cdc3587	Merge branch 'main' of https://git.abstractnonsen.se/josia-notes/w23-logic-3	2024-01-30 17:56:20 +01:00
Josia Pietsch	d17e25f4d0	lecture 26 All checks were successful Build latex and deploy / checkout (push) Successful in 5m9s Details	2024-01-30 11:55:30 +01:00
Josia Pietsch	de8e41de83	fixed typo	2024-01-29 19:19:13 +01:00
Josia Pietsch	d22cc2f282	14 Some checks are pending Build latex and deploy / checkout (push) Waiting to run Details	2024-01-25 20:18:46 +01:00
Josia Pietsch	99ca39e52c	lecture 18, 19 Some checks failed Build latex and deploy / checkout (push) Failing after 16m57s Details	2024-01-04 19:26:34 +01:00
Josia Pietsch	ca0594ea69	lecture 16 Some checks failed Build latex and deploy / checkout (push) Failing after 13m6s Details	2023-12-09 18:23:59 +01:00
Josia Pietsch	ab088dd877	moved definitions Some checks failed Build latex and deploy / checkout (push) Failing after 12m42s Details	2023-12-09 02:29:22 +01:00
Josia Pietsch	e203c901e1	lecture 16 Some checks failed Build latex and deploy / checkout (push) Failing after 15m0s Details	2023-12-08 16:57:51 +01:00
Josia Pietsch	da2f702604	moved definition Some checks failed Build latex and deploy / checkout (push) Failing after 14m8s Details	2023-12-08 02:02:59 +01:00
Josia Pietsch	c59fdb1c9d	definition group action Some checks failed Build latex and deploy / checkout (push) Has been cancelled Details	2023-12-08 02:00:43 +01:00
Josia Pietsch	c1316d8bb5	fixed typos Some checks failed Build latex and deploy / checkout (push) Failing after 17m3s Details	2023-12-08 01:42:08 +01:00
Josia Pietsch	daec11591d	lecture 15 Some checks are pending Build latex and deploy / checkout (push) Waiting to run Details	2023-12-08 01:39:20 +01:00
Josia Pietsch	9a6205136a	tutorials	2023-12-05 17:14:51 +01:00

21 Commits