Commit graph

197 commits

Author SHA1 Message Date
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
Schrottkatze 1b6d2a9b62 implement check for missing filters in pipeline 2023-11-16 08:58:39 +01:00
Schrottkatze 344afa22b5 implement better checking and errors 2023-11-15 21:13:04 +01:00
Schrottkatze 3f4846744b implement super basic check 2023-11-15 11:18:45 +01:00
Schrottkatze b71b7f309b start with bare basics 2023-11-15 10:55:14 +01:00