josia-notes/w23-logic-2

Author	SHA1	Message	Date
Josia Pietsch	0771440511	some fixes	2023-11-13 19:42:48 +01:00
Josia Pietsch	883ee88516	TODO	2023-11-13 15:52:38 +01:00
Josia Pietsch	37e521d4af	lecture 08	2023-11-13 15:50:08 +01:00
Josia Pietsch	54406f77ab	Lecture 7	2023-11-09 15:44:04 +01:00
Josia Pietsch	a6465aea45	lecture 6	2023-11-06 16:22:31 +01:00
Josia Pietsch	e7baf0832b	small changes	2023-11-05 03:16:40 +01:00
Josia Pietsch	430ad82e8b	lecture 04	2023-11-05 00:50:26 +01:00
Josia Pietsch	340e034fdf	lecture 4	2023-11-04 23:28:39 +01:00
Josia Pietsch	ab3a4b7556	lecture 06	2023-10-31 20:16:15 +01:00
Josia Pietsch	c787dd2b51	lecture 5	2023-10-30 15:52:49 +01:00
Josia Pietsch	10313b35f1	Merge branch 'master' of https://git.abstractnonsen.se/josia-notes/w23-logic-2	2023-10-25 15:37:34 +02:00
Josia Pietsch	5f1f4c9fe9	fix	2023-10-25 15:37:22 +02:00
Josia Pietsch	b5e2d09090	small fix	2023-10-24 10:51:01 +02:00
Josia Pietsch	fb2c5b2715	fixed label	2023-10-24 10:48:41 +02:00
Josia Pietsch	4a27324442	fixed label	2023-10-24 10:34:43 +02:00
Josia Pietsch	1860f988c2	lecture 03	2023-10-23 23:45:24 +02:00
Josia Pietsch	ad39e2ac6d	03 beginning	2023-10-23 22:43:31 +02:00
Josia Pietsch	f7bd6359bd	lecture 02	2023-10-23 11:44:15 +02:00
Josia Pietsch	5f5de21d3d	updated README.md	2023-10-21 15:38:20 +02:00
Josia Pietsch	a7c18aa973	fixed ci	2023-10-17 23:48:12 +02:00
Josia Pietsch	1306c62e93	add readme to pages	2023-10-17 23:43:24 +02:00
Josia Pietsch	513c04095e	gitea ci	2023-10-17 21:06:56 +02:00
Josia Pietsch	5de1db2631	gitea ci	2023-10-17 21:03:49 +02:00
Josia Pietsch	2d912c7f87	lecture 1	2023-10-16 16:51:42 +02:00
Josia Pietsch	535bfd1b37	initial commit	2023-10-16 16:24:38 +02:00

1 2

75 commits