28 commits

Author	SHA1	Message	Date
MultisampledNight	10886be00a	docs(design): add term list	2024-01-21 22:11:41 +01:00
MultisampledNight	1df57eba6b	chore: remove accidental whitespace at end of line	2024-01-21 04:23:53 +01:00
MultisampledNight	3c529c3a1a	chore: rename executor -> evaluator and integrate into app	2024-01-21 03:22:46 +01:00
MultisampledNight	23ffbe39dc	chore: format a bit and add just fmt	2024-01-20 21:12:09 +01:00
MultisampledNight	c0dd533d81	docs(template): make outline rendering configurable	2024-01-20 21:11:33 +01:00
MultisampledNight	d1001ad90d	docs: retab from tabs to 2 spaces	2024-01-20 21:11:33 +01:00
MultisampledNight	f445a03fb2	docs: microoptimize graph a bit	2024-01-20 21:10:50 +01:00
MultisampledNight	ec3d1310bf	docs: apply most review	2024-01-18 22:38:19 +01:00
MultisampledNight	e986f0fc1d	docs(design): split into function and instruction	2024-01-18 20:17:59 +01:00
MultisampledNight	47f6025963	repo: switch to nu for just	2024-01-18 20:17:58 +01:00
MultisampledNight	9a2f982d40	docs: use weak pagebreaks for automatic pagebreaks	2024-01-18 20:17:58 +01:00
MultisampledNight	5f95f36214	docs: place strategic pagebreaks automatically	2024-01-18 20:17:58 +01:00
MultisampledNight	ef7ab3e239	docs(design): explain individual lines of input ex	2024-01-18 20:17:58 +01:00
MultisampledNight	fe96a17551	docs: justify main text	2024-01-18 20:17:58 +01:00
MultisampledNight	35695537bd	docs(design): rename command -> instruction	2024-01-18 20:17:58 +01:00
MultisampledNight	cbbe2c3253	docs: only highlight standalone terms	2024-01-18 20:17:58 +01:00
MultisampledNight	221ca09961	docs: move config from design to template	2024-01-18 20:17:58 +01:00
MultisampledNight	bebf2a97a4	docs(design): add graph ir repr and explain a bit	2024-01-18 20:17:57 +01:00
MultisampledNight	b9ea83b1c6	docs(design): get rid of ast	2024-01-18 20:17:57 +01:00
MultisampledNight	6bd07b639b	docs(design): add larger source example	2024-01-18 20:17:57 +01:00
MultisampledNight	b30cbb4d7b	docs(design): actually write some content	2024-01-18 20:17:57 +01:00
MultisampledNight	3746726245	docs: rework template and add stages framework	2024-01-18 20:17:57 +01:00
MultisampledNight	6217a984a2	repo: make typst compilation more generic	2024-01-18 20:17:57 +01:00
Schrottkatze	efdfb5705e	actually write things	2024-01-18 20:17:56 +01:00
Schrottkatze	b91e697449	add example for multiple generics	2024-01-11 10:55:25 +01:00
Schrottkatze	e1dc5ce132	doc: change code from inline to blocks	2024-01-11 10:48:43 +01:00
Schrottkatze	22a655fd24	write initial type signature notation proposal	2024-01-10 12:45:41 +01:00
Schrottkatze	a3a7a00808	add typst design document stuff	2024-01-01 23:34:34 +01:00