some graphical algorithm notation

Stream: new members

[Notification Bot]

This topic was moved here from #lean4 > some graphical algorithm notation by Eric Wieser.

[Locria Cyber]

Jad Ghalayini said:

Locria Cyber fascinating; I'd be happy to discuss this further, seens related to my work! Would you mind sending me an e-mail?

I don't use email for discussions. Do you have Matrix account? We can also use DM here (on Zulip).

[Locria Cyber]

I'm currently making an editor for it. Think of something as simple as ed.

[Locria Cyber]

This is about the effects syntax & semantics: effect.jpg

[Locria Cyber]

Jad Ghalayini said:

Locria Cyber fascinating; I'd be happy to discuss this further, seens related to my work! Would you mind sending me an e-mail?

I sent you an Email. It's been a long time