Commit graph

69 commits

Author SHA1 Message Date
f17e1b8051
docs(template): make outline rendering configurable 2024-01-18 20:20:33 +01:00
556a2ff716
docs: retab from tabs to 2 spaces 2024-01-18 20:20:33 +01:00
ee149c212c
test: prettify TEST_DATA over multiple lines 2024-01-18 20:20:33 +01:00
3a013f4df1
test: fix running tests 2024-01-18 20:20:33 +01:00
4807b8b7a7
style: propagate clippy lints throughout workspace 2024-01-18 20:20:33 +01:00
11cef9e5f6
docs: microoptimize graph a bit 2024-01-18 20:20:33 +01:00
3d7cd8b37f
fix: take care of clippy warnings and add test image 2024-01-18 20:20:33 +01:00
81f44f76d8
repo: make build possible 2024-01-18 20:20:33 +01:00
314582e441
docs(design): split into function and instruction 2024-01-18 20:20:32 +01:00
28f42df36e
repo: add helpful comment to justfile 2024-01-18 20:20:32 +01:00
3dc216dd4b
repo: expand on CONTRIBUTING.md about PRs 2024-01-18 20:20:32 +01:00
e3d4c88921
repo: switch to nu for just 2024-01-18 20:20:32 +01:00
70402c25ba
docs: use weak pagebreaks for automatic pagebreaks 2024-01-18 20:20:32 +01:00
e5df894daa
docs: place strategic pagebreaks automatically 2024-01-18 20:20:32 +01:00
7a93ef35fa
docs(design): explain individual lines of input ex 2024-01-18 20:20:32 +01:00
f7bb858fa3
docs: justify main text 2024-01-18 20:20:32 +01:00
76096a07fc
docs(design): rename command -> instruction 2024-01-18 20:20:31 +01:00
b5441a3e43
docs: only highlight standalone terms 2024-01-18 20:20:31 +01:00
075b475429
docs: move config from design to template 2024-01-18 20:20:31 +01:00
4c0b25efcf
docs(design): add graph ir repr and explain a bit 2024-01-18 20:20:31 +01:00
e41388fbb7
docs(design): get rid of ast 2024-01-18 20:20:31 +01:00
a93c16da5c
docs(design): add larger source example 2024-01-18 20:20:31 +01:00
92fe4c51a3
docs(contributing): add penpot 2024-01-18 20:20:31 +01:00
1faa6f6d29
docs(design): actually write some content 2024-01-18 20:20:31 +01:00
43e6dfd240
meta: set up some signs 2024-01-18 20:20:30 +01:00
e2e4c2c29f
docs: rework template and add stages framework 2024-01-18 20:20:30 +01:00
8f790af8a1
repo: make typst compilation more generic 2024-01-18 20:20:30 +01:00
d779992eb1
docs: add readme 2024-01-18 20:20:30 +01:00
8df3090ae1
actually write things 2024-01-18 20:20:30 +01:00
70256a7bfc Merge pull request 'write initial type signature notation proposal' (#5) from schrottkatze/iowo:type-notation into main
Reviewed-on: #5
Reviewed-by: multisn8 <forgejo-schrottkatze@multisamplednight.com>
2024-01-11 14:55:56 +00:00
b91e697449 add example for multiple generics 2024-01-11 10:55:25 +01:00
e1dc5ce132 doc: change code from inline to blocks 2024-01-11 10:48:43 +01:00
22a655fd24 write initial type signature notation proposal 2024-01-10 12:45:41 +01:00
34fc4f1caf Merge pull request 'hard-rewrite' (#1) from schrottkatze/pipeline-lang:hard-rewrite into main
Reviewed-on: katzen-cafe/pipeline-lang#1
2024-01-01 22:36:43 +00:00
a3a7a00808 add typst design document stuff 2024-01-01 23:34:34 +01:00
e7863402f3 implement invert instruction 2024-01-01 21:18:56 +01:00
2b3c74053e set up helix rpl support(tm) 2024-01-01 21:06:55 +01:00
b92977d8f1 basic conversion thing do worky!!! 2024-01-01 07:30:04 +01:00
f046393af8 really basic implementation of rpl types 2023-12-14 08:42:49 +01:00
b4d48a598a restart basically lmao 2023-12-13 18:13:43 +01:00
49995bbc62 fix clippy warnings 2023-12-13 09:31:51 +01:00
ab7ff35d6c implement basics of generics and generic checking 2023-11-24 12:57:06 +01:00
1acb5ef3cf refactor to common id types 2023-11-24 09:39:32 +01:00
c3db966765 start work on type resolver 2023-11-21 12:44:20 +01:00
b07eb248f1 formatting things and pre commit hooks 2023-11-20 12:59:32 +01:00
daa551caa3 fix clippy warnings or disable unneeded lints 2023-11-20 11:05:55 +01:00
6af2c7c02c remove arithmetic-side-effects lint, unnecessarily strict for this project 2023-11-20 10:31:07 +01:00
a896e66cca run cargo clippy --fix 2023-11-20 10:29:08 +01:00
8c52d3668e fix/allow clippy errors 2023-11-20 10:27:47 +01:00
55acd88f0a make clippy significantly stricter 2023-11-20 10:03:37 +01:00