12 commits

Author	SHA1	Message	Date
Tibo De Peuter	6f1b252f52	Voorlopige indiening	2025-05-12 19:33:51 +02:00
Tibo De Peuter	717e5e0954	Add source	2025-05-09 15:08:42 +02:00
Tibo De Peuter	026218ddbd	Continuations	2025-05-09 14:02:03 +02:00
Tibo De Peuter	9b454a9669	test: Meta examples	2025-05-08 19:14:48 +02:00
Tibo De Peuter	4810b91628	fix: Satisfy clause	2025-05-06 14:14:52 +02:00
Tibo De Peuter	a85169dced	Checkpoint	2025-05-04 21:50:58 +02:00
Tibo De Peuter	724e911a6f	Checkpoint	2025-05-01 21:16:48 +02:00
Tibo De Peuter	9db1c66781	Checkpoint	2025-05-01 17:13:35 +02:00
Tibo De Peuter	f9950a3fd3	test: Cut with disjunction	2025-04-15 17:03:14 +02:00
Tibo De Peuter	229a8bbc3c	feat: Cut	2025-04-15 15:37:05 +02:00
Tibo De Peuter	e73e5cbfc8	Checkpoint	2025-04-11 19:27:01 +02:00
tolauwae	ca687c0136	[tutor] Update assignment	2025-03-30 21:56:24 +02:00