Schrottkatze schrottkatze
2 followers · 4 following
Repositories
20
 Projects Packages Public activity Starred repositories
1
schrottkatze commented on pull request katzen-cafe/iowo#5 2024-01-11 09:58:25 +00:00
write initial type signature notation proposal

added the requested example!

schrottkatze commented on issue katzen-cafe/iowo#4 2024-01-10 11:59:31 +00:00
Keyword inputs and outputs

Yeah, makes sense.

However, I'd treat outputs as lists so one could also split an array like this:

[ 1 2 ]
schrottkatze created pull request katzen-cafe/iowo#5 2024-01-10 11:46:19 +00:00
write initial type signature notation proposal
schrottkatze commented on pull request katzen-cafe/iowo#2 2024-01-10 10:41:05 +00:00
docs: some initial groundwork

I think that we should rename Commands to Operators (or something similar), since a "Command" implies an imperative environment like a shell (and yes, I originally used that term because this was…

schrottkatze created pull request katzen-cafe/iowo#3 2024-01-08 12:45:54 +00:00
design: type system design
schrottkatze commented on pull request katzen-cafe/iowo#2 2024-01-08 12:11:01 +00:00
docs: some initial groundwork

About the tooling stuff: I suggest adding Penpot, since I generally prefer penpot for design work. I don't use it for icons etc, that's indeed where I fall back to inkscape, but generally I…

schrottkatze commented on pull request katzen-cafe/iowo#2 2024-01-08 11:56:47 +00:00
docs: some initial groundwork

the reason why I wanted discussions over forgejo is, so they're all public and organized. If someone, including ourselves, wanted to reference why we decided on something or why we did something…

schrottkatze pushed to main at schrottkatze/cursed-webthing 2024-01-07 14:18:41 +00:00
b8c4d0a6c6 clean up error stuff
27e9087d9f add test outputs and direnv outputs and stuff
Compare 2 commits »
schrottkatze pushed to main at schrottkatze/cursed-webthing 2024-01-07 13:26:45 +00:00
2d007c977c add error reporting stuffs
schrottkatze pushed to main at schrottkatze/cursed-webthing 2024-01-06 20:31:54 +00:00
970ae0e449 split code up and clean up a small bit
schrottkatze created branch main in schrottkatze/cursed-webthing 2024-01-06 16:26:55 +00:00
schrottkatze pushed to main at schrottkatze/cursed-webthing 2024-01-06 16:26:55 +00:00
f964d57ca1 markup-web-thingy
schrottkatze created repository schrottkatze/cursed-webthing 2024-01-06 16:26:40 +00:00
schrottkatze pushed to main at schrottkatze/nix-configs 2024-01-05 20:00:41 +00:00
5ef43a848f flake.lock: Update
schrottkatze pushed to main at schrottkatze/nix-configs 2024-01-04 10:36:13 +00:00
2b2be008f9 add helvum
5636483ea6 remove corectrl
Compare 2 commits »
schrottkatze pushed to main at schrottkatze/nix-configs 2024-01-04 10:35:50 +00:00
910b8a5548 flake.lock: Update
schrottkatze pushed to main at schrottkatze/nix-configs 2024-01-02 18:59:31 +00:00
c5da25a379 flake.lock: Update
schrottkatze commented on pull request katzen-cafe/iowo#2 2024-01-02 04:32:15 +00:00
docs: some initial groundwork

We should decide on a toolset to use across the project.

Also, should we have discussions in issue/pr threads? I feel like that's better and more public, even though forgejo doesnt federate yet...

schrottkatze renamed repository from pipeline-lang to katzen-cafe/iowo 2024-01-01 22:38:12 +00:00
schrottkatze pushed to main at katzen-cafe/iowo 2024-01-01 22:36:46 +00:00
34fc4f1caf Merge pull request 'hard-rewrite' (#1) from schrottkatze/pipeline-lang:hard-rewrite into main
a3a7a00808 add typst design document stuff
e7863402f3 implement invert instruction
2b3c74053e set up helix rpl support(tm)
b92977d8f1 basic conversion thing do worky!!!
Compare 7 commits »