69 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Schrottkatze	4788278d86	more basic features, config gets read and startup messages	2024-01-20 20:05:09 +01:00
Schrottkatze	33aa131b95	app: improve errors a bit more ... added a message to the label so the position of the error gets shown and a note to make clear we don't have enough info for better error messages thanks to serde	2024-01-20 20:05:08 +01:00
Schrottkatze	e7db9c38f3	cli: work on basic cli and serde error hanlding	2024-01-20 20:05:08 +01:00
MultisampledNight	92aa3b4a3a	repo(contributing): simplify wording by removing implied info	2024-01-20 19:52:23 +01:00
MultisampledNight	24ffe91b66	repo(contributing): apply review	2024-01-20 18:23:42 +01:00
MultisampledNight	666b4f9cb6	repo(contributing): clarify that tool list is just a suggestion	2024-01-20 13:39:53 +01:00
MultisampledNight	53cc3f26dd	docs: bring back punctuation at end of points	2024-01-19 03:09:31 +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	41e21bac16	repo: add helpful comment to justfile	2024-01-18 20:17:59 +01:00
MultisampledNight	a9b69094cc	repo: expand on CONTRIBUTING.md about PRs	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	9233b0e339	docs(contributing): add penpot	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	32b547f9fa	meta: set up some signs	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
MultisampledNight	388827a50e	docs: add readme	2024-01-18 20:17:56 +01:00
Schrottkatze	efdfb5705e	actually write things	2024-01-18 20:17:56 +01:00
Schrottkatze	70256a7bfc	Merge pull request 'write initial type signature notation proposal' (#5) from schrottkatze/iowo:type-notation into main ... Reviewed-on: https://forge.katzen.cafe/katzen-cafe/iowo/pulls/5 Reviewed-by: multisn8 <forgejo-schrottkatze@multisamplednight.com>	2024-01-11 14:55:56 +00: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	34fc4f1caf	Merge pull request 'hard-rewrite' (#1) from schrottkatze/pipeline-lang:hard-rewrite into main ... Reviewed-on: https://forge.katzen.cafe/katzen-cafe/pipeline-lang/pulls/1	2024-01-01 22:36:43 +00:00
Schrottkatze	a3a7a00808	add typst design document stuff	2024-01-01 23:34:34 +01:00
Schrottkatze	e7863402f3	implement invert instruction	2024-01-01 21:18:56 +01:00
Schrottkatze	2b3c74053e	set up helix rpl support(tm)	2024-01-01 21:06:55 +01:00
Schrottkatze	b92977d8f1	basic conversion thing do worky!!!	2024-01-01 07:30:04 +01:00
Schrottkatze	f046393af8	really basic implementation of rpl types	2023-12-14 08:42:49 +01:00
Schrottkatze	b4d48a598a	restart basically lmao	2023-12-13 18:13:43 +01:00
Schrottkatze	49995bbc62	fix clippy warnings	2023-12-13 09:31:51 +01:00
Schrottkatze	ab7ff35d6c	implement basics of generics and generic checking	2023-11-24 12:57:06 +01:00
Schrottkatze	1acb5ef3cf	refactor to common id types	2023-11-24 09:39:32 +01:00
Schrottkatze	c3db966765	start work on type resolver	2023-11-21 12:44:20 +01:00
Schrottkatze	b07eb248f1	formatting things and pre commit hooks	2023-11-20 12:59:32 +01:00
Schrottkatze	daa551caa3	fix clippy warnings or disable unneeded lints	2023-11-20 11:05:55 +01:00
Schrottkatze	6af2c7c02c	remove arithmetic-side-effects lint, unnecessarily strict for this project	2023-11-20 10:31:07 +01:00
Schrottkatze	a896e66cca	run cargo clippy --fix	2023-11-20 10:29:08 +01:00
Schrottkatze	8c52d3668e	fix/allow clippy errors	2023-11-20 10:27:47 +01:00
Schrottkatze	55acd88f0a	make clippy significantly stricter	2023-11-20 10:03:37 +01:00