diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-01 18:08:43 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-01 18:08:43 -0400 |
| commit | 040fb35732e6c7c0d8f4ccf7c9bee7242cea6939 (patch) | |
| tree | dead2e81dd8b3778867291c0bbb93b2b75b014a3 /docs/type_system/shared.md | |
| parent | 07251d8774190396191b1f6c63be586902bca665 (diff) | |
update action syntax and start application
Diffstat (limited to 'docs/type_system/shared.md')
| -rw-r--r-- | docs/type_system/shared.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/type_system/shared.md b/docs/type_system/shared.md index 54c9dc5..84366ab 100644 --- a/docs/type_system/shared.md +++ b/docs/type_system/shared.md @@ -28,8 +28,8 @@ Counting or tracing will determined later on ```text x : Shared[Vector] $ (1; 2; 3) -^ x { +^ x {[y] y `push 4 -}[y] +} `log x // Shared[.counting; Vector[I64]] $ (1; 2; 3; 4) ``` |