|
|
5d08dfe870
|
style: drop Instruction suffix from instructions
|
2024-01-20 14:00:00 +01:00 |
|
|
|
1e2b5d2cb9
|
docs(template): make outline rendering configurable
|
2024-01-20 14:00:00 +01:00 |
|
|
|
267575fec4
|
docs: retab from tabs to 2 spaces
|
2024-01-20 13:59:59 +01:00 |
|
|
|
c1fff206c9
|
test: prettify TEST_DATA over multiple lines
|
2024-01-20 13:59:59 +01:00 |
|
|
|
f5c426857a
|
test: fix running tests
|
2024-01-20 13:59:59 +01:00 |
|
|
|
924080719d
|
style: propagate clippy lints throughout workspace
|
2024-01-20 13:59:59 +01:00 |
|
|
|
cc4dfbab35
|
docs: microoptimize graph a bit
|
2024-01-20 13:59:59 +01:00 |
|
|
|
c9bebc6e77
|
fix: take care of clippy warnings and add test image
|
2024-01-20 13:59:59 +01:00 |
|
|
|
fb0d0c5008
|
repo: make build possible
|
2024-01-20 13:59:53 +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 |
|
