121 commits

Author	SHA1	Message	Date
Marc Beninca	b7b928d2fe	numbers	2025-08-11 12:39:09 +02:00
Marc Beninca	e2b85d9991	rejigger	2025-08-11 11:46:00 +02:00
Marc Beninca	455f5ec3b2	titles	2025-08-11 11:39:03 +02:00
Marc Beninca	e928ae82be	╴	2025-08-11 11:35:28 +02:00
Marc Beninca	60144d18dd	test	2025-08-11 11:30:30 +02:00
Marc Beninca	37690244a7	─	2025-08-11 11:26:55 +02:00
Marc Beninca	0e4c285ae9	wip	2025-08-11 11:23:25 +02:00
Marc Beninca	b940c28501	╰	2025-08-11 11:08:33 +02:00
Marc Beninca	04e09223fe	ilos	2025-08-11 11:02:35 +02:00
Marc Beninca	c43a832cef	h1	2025-08-11 10:55:30 +02:00
Marc Beninca	d36f7be43b	→	2025-08-11 10:53:26 +02:00
Marc Beninca	86c974f9bf	break	2025-08-11 10:51:28 +02:00
Marc Beninca	8c5be66145	rwx	2025-08-11 10:49:46 +02:00
Marc Beninca	480e2922b2	repo,site	2025-08-11 10:20:19 +02:00
Marc Beninca	484da0403e	code,repo	2025-08-11 10:16:50 +02:00
Marc Beninca	8deb0a86ea	−https	2025-08-11 10:01:05 +02:00
Marc Beninca	263b1e36e6	<>	2025-08-11 09:23:21 +02:00
Marc Beninca	cad927447e	view	2025-08-11 09:20:31 +02:00
Marc Beninca	2b7c82e322	others	2025-08-10 23:15:09 +02:00
Marc Beninca	dea8ec929d	proofs	2025-08-10 22:42:05 +02:00
Marc Beninca	f5e9e7157c	←	2025-08-10 21:52:36 +02:00
Marc Beninca	7d3e6619ae	md	2025-08-10 21:50:20 +02:00
Marc Beninca	e3088da00b	shrink	2025-08-10 21:45:46 +02:00
Marc Beninca	8dabdd7b85	lowercase	2025-08-10 21:40:47 +02:00
Marc Beninca	8a6c567463	h1	2025-08-10 21:31:52 +02:00
Marc Beninca	31eea0860f	numbers	2025-08-10 21:23:35 +02:00
Marc Beninca	e4774e623d	code	2025-08-10 21:10:22 +02:00
Marc Beninca	3791766337	keys	2025-08-10 21:04:02 +02:00
Marc Beninca	0eef7f251f	source	2025-08-10 20:40:18 +02:00
Marc Beninca	5690f3d3cc	test	2025-08-10 20:04:02 +02:00
Marc Beninca	6d10219972	[]	2025-08-10 19:30:59 +02:00
Marc Beninca	7158aae60f	marc/	2025-08-10 17:42:38 +02:00
Marc Beninca	279d376611	trim	2025-08-10 17:34:51 +02:00
Marc Beninca	8a3be694c3	fix	2025-08-08 23:55:56 +02:00
Marc Beninca	a465b9cbfd	ilos/	2025-08-08 23:54:18 +02:00
Marc Beninca	b9dc456478	ilos/	2025-08-08 23:45:56 +02:00
Marc Beninca	148f4c4454	tm	2025-08-08 23:34:03 +02:00
Marc Beninca	3ae2f6a2a5	|	2025-08-08 23:25:20 +02:00
Marc Beninca	069a95ab43	tables	2025-08-08 23:19:22 +02:00
Marc Beninca	25942f796d	compare	2025-08-08 23:02:46 +02:00
Marc Beninca	f616d7889b	cut	2025-08-08 22:52:42 +02:00
Marc Beninca	8ad4b5671d	empty	2025-08-08 22:50:47 +02:00
Marc Beninca	743a95719d	test	2025-08-08 22:49:44 +02:00
Marc Beninca	a7d3722e55	test	2025-08-08 22:42:54 +02:00
Marc Beninca	54f6eeb59c	→	2025-08-08 22:34:10 +02:00
Marc Beninca	b4b95aed12	,	2025-08-08 22:32:07 +02:00
Marc Beninca	6cf4376a55	−by	2025-08-08 22:28:42 +02:00
Marc Beninca	d4ebe0f327	→	2025-08-08 22:22:34 +02:00
Marc Beninca	2b84c14a61	:	2025-08-08 22:16:04 +02:00
Marc Beninca	a884d399ff	↔	2025-08-08 22:08:53 +02:00