91 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Tibo De Peuter	0a9937f16e	chore: Tweak demo	2025-05-19 10:03:12 +02:00
Tibo De Peuter	24bfa426ab	chore: Small cleanups	2025-05-19 09:12:37 +02:00
Tibo De Peuter	e087e5f29f	Rename cont. to del.con.	2025-05-19 08:28:51 +02:00
Tibo De Peuter	b294467587	chore: Demo & examples	2025-05-18 23:27:35 +02:00
Tibo De Peuter	61178cbeac	fix: Univ	2025-05-18 20:28:58 +02:00
Tibo De Peuter	d50ec0f715	chore: Debug error in REPL	2025-05-18 20:28:38 +02:00
Tibo De Peuter	50b4d192f3	Add password example	2025-05-18 15:45:13 +02:00
Tibo De Peuter	83f65bd683	fix: Fixes	2025-05-18 14:56:16 +02:00
Tibo De Peuter	a1187238c3	test: Summer example	2025-05-18 12:28:13 +02:00
Tibo De Peuter	26c339b8f8	Update PDF	2025-05-12 19:58:14 +02:00
Tibo De Peuter	c6f829a60f	Update figures en PDF	2025-05-12 19:55:00 +02:00
Tibo De Peuter	2c6dfb77a0	Finale indiening	2025-05-12 19:52:41 +02:00
Tibo De Peuter	f4d96d4143	Voorlopige indiening 2	2025-05-12 19:39:30 +02:00
Tibo De Peuter	6f1b252f52	Voorlopige indiening	2025-05-12 19:33:51 +02:00
Tibo De Peuter	130ff622c9	Verslag drafting	2025-05-09 22:27:26 +02:00
Tibo De Peuter	44d2876f57	Codex geïmplementeerde predicaten	2025-05-09 19:50:15 +02:00
Tibo De Peuter	a5bd38ef01	Cleanup 3	2025-05-09 19:49:37 +02:00
Tibo De Peuter	3c938749d0	Cleanup 2	2025-05-09 18:30:18 +02:00
Tibo De Peuter	a9bb6e0338	Added loose operators	2025-05-09 16:50:20 +02:00
Tibo De Peuter	717e5e0954	Add source	2025-05-09 15:08:42 +02:00
Tibo De Peuter	2089e20da5	Cleanup 1	2025-05-09 14:43:20 +02:00
Tibo De Peuter	026218ddbd	Continuations	2025-05-09 14:02:03 +02:00
Tibo De Peuter	88c90220fe	WriteLn	2025-05-09 10:30:51 +02:00
Tibo De Peuter	5bfeb96176	Call & Ignore	2025-05-09 08:36:11 +02:00
Tibo De Peuter	9b454a9669	test: Meta examples	2025-05-08 19:14:48 +02:00
Tibo De Peuter	1feb3893c5	fix: Mib	2025-05-08 18:58:33 +02:00
Tibo De Peuter	7daae860fc	Checkpoint	2025-05-08 17:47:13 +02:00
Tibo De Peuter	3724ac72f9	Checkpoint	2025-05-08 15:07:24 +02:00
Tibo De Peuter	973365e2ec	feat: Atomic & Compound parsen	2025-05-08 09:35:49 +02:00
Tibo De Peuter	e1763e0510	fix: Repl ook enter duwen	2025-05-08 09:34:05 +02:00
Tibo De Peuter	8bda3c5af4	Clause	2025-05-07 22:26:02 +02:00
Tibo De Peuter	752c278cb0	Arg	2025-05-07 21:15:10 +02:00
Tibo De Peuter	65c4d925d3	Functor	2025-05-07 20:22:14 +02:00
Tibo De Peuter	dff53b4e68	fix: Groene vinkjes	2025-05-06 21:10:44 +02:00
Tibo De Peuter	4810b91628	fix: Satisfy clause	2025-05-06 14:14:52 +02:00
Tibo De Peuter	256a189125	ForAll	2025-05-06 11:59:55 +02:00
Tibo De Peuter	6b46965435	Succ operator	2025-05-05 22:20:55 +02:00
Tibo De Peuter	cdf2513e96	NotEquivalent	2025-05-05 22:14:10 +02:00
Tibo De Peuter	1179e6a29b	RetractAll	2025-05-05 22:06:26 +02:00
Tibo De Peuter	4d334c1600	Repl trouble	2025-05-05 21:12:08 +02:00
Tibo De Peuter	fd16c4cedc	Backtracking fixed	2025-05-05 20:11:44 +02:00
Tibo De Peuter	a85169dced	Checkpoint	2025-05-04 21:50:58 +02:00
Tibo De Peuter	5bfa1691dd	Retract	2025-05-02 23:50:29 +02:00
Tibo De Peuter	80fb3d1e60	Assert{a,z,}	2025-05-02 21:51:34 +02:00
Tibo De Peuter	f9017da734	Checkpoint	2025-05-02 13:28:00 +02:00
Tibo De Peuter	23b2ce9362	test: Fix failing	2025-05-02 09:09:23 +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	43b364044e	Quoted atoms	2025-04-30 12:08:36 +02:00
Tibo De Peuter	1e087c8339	Fix double printing	2025-04-30 10:52:58 +02:00