96374b6491
split up modules into subfiles
2024-01-20 20:05:09 +01:00
4788278d86
more basic features, config gets read and startup messages
2024-01-20 20:05:09 +01:00
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
e7db9c38f3
cli: work on basic cli and serde error hanlding
2024-01-20 20:05:08 +01:00
92aa3b4a3a
repo(contributing): simplify wording by removing implied info
2024-01-20 19:52:23 +01:00
24ffe91b66
repo(contributing): apply review
2024-01-20 18:23:42 +01:00
666b4f9cb6
repo(contributing): clarify that tool list is just a suggestion
2024-01-20 13:39:53 +01:00
53cc3f26dd
docs: bring back punctuation at end of points
2024-01-19 03:09:31 +01:00
ec3d1310bf
docs: apply most review
2024-01-18 22:38:19 +01:00
e986f0fc1d
docs(design): split into function and instruction
2024-01-18 20:17:59 +01:00
41e21bac16
repo: add helpful comment to justfile
2024-01-18 20:17:59 +01:00
a9b69094cc
repo: expand on CONTRIBUTING.md about PRs
2024-01-18 20:17:59 +01:00
47f6025963
repo: switch to nu for just
2024-01-18 20:17:58 +01:00
9a2f982d40
docs: use weak pagebreaks for automatic pagebreaks
2024-01-18 20:17:58 +01:00
5f95f36214
docs: place strategic pagebreaks automatically
2024-01-18 20:17:58 +01:00
ef7ab3e239
docs(design): explain individual lines of input ex
2024-01-18 20:17:58 +01:00
fe96a17551
docs: justify main text
2024-01-18 20:17:58 +01:00
35695537bd
docs(design): rename command -> instruction
2024-01-18 20:17:58 +01:00
cbbe2c3253
docs: only highlight standalone terms
2024-01-18 20:17:58 +01:00
221ca09961
docs: move config from design to template
2024-01-18 20:17:58 +01:00
bebf2a97a4
docs(design): add graph ir repr and explain a bit
2024-01-18 20:17:57 +01:00
b9ea83b1c6
docs(design): get rid of ast
2024-01-18 20:17:57 +01:00
6bd07b639b
docs(design): add larger source example
2024-01-18 20:17:57 +01:00
9233b0e339
docs(contributing): add penpot
2024-01-18 20:17:57 +01:00
b30cbb4d7b
docs(design): actually write some content
2024-01-18 20:17:57 +01:00
32b547f9fa
meta: set up some signs
2024-01-18 20:17:57 +01:00
3746726245
docs: rework template and add stages framework
2024-01-18 20:17:57 +01:00
6217a984a2
repo: make typst compilation more generic
2024-01-18 20:17:57 +01:00
388827a50e
docs: add readme
2024-01-18 20:17:56 +01:00
efdfb5705e
actually write things
2024-01-18 20:17:56 +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
