54 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Schrottkatze	3b0e7f3edd	implement raw token/typed repr debug printing	2023-11-20 09:41:07 +01:00
Schrottkatze	0a6d9a27c5	write test against regression of syntax check_literal_as_filter ... check_literal_as_filter returned literals at the end of pipelines too, which isn't desirable since that's the job of check_literal_as_sink	2023-11-19 16:53:19 +01:00
Schrottkatze	17878b3e87	rewrite error system and add evaluator architecture ... the evaluator architecture is also only a temporary solution and very flawed but i have no other ideas	2023-11-19 16:52:38 +01:00
Schrottkatze	0ce869e859	comment out tokens that aren't needed yet	2023-11-19 16:49:27 +01:00
Schrottkatze	b50fb5ed06	implement basic typed representation and conversion to it	2023-11-19 01:44:53 +01:00
Schrottkatze	75be6e22a0	implement debug and display for Command, Trait and Type	2023-11-19 01:44:27 +01:00
Schrottkatze	a07a031e0c	finish syntax checks	2023-11-18 21:11:43 +01:00
Schrottkatze	2db2ef2ea1	refactoring and implementing clippy suggestions	2023-11-18 19:56:08 +01:00
Schrottkatze	3952091018	added basic method to check syntax command input	2023-11-18 19:46:41 +01:00
Schrottkatze	03412ce8cd	moved namespaces to their own module	2023-11-18 19:10:28 +01:00
Schrottkatze	91adcd40f5	wrote tests for parser and checks	2023-11-18 18:34:03 +01:00
Schrottkatze	d49e0d38e6	added command functions to GlobalNamespace	2023-11-18 18:11:59 +01:00
Schrottkatze	414b6c927d	started work on typed pipelines	2023-11-17 21:37:55 +01:00
Schrottkatze	b6b8c5085a	implement basic namespacing for types, traits and commands	2023-11-16 19:22:26 +01:00
Schrottkatze	3cca2bc2cc	remove dependency on winnow	2023-11-16 09:17:14 +01:00