I made a language! (algograph)

Stream: new members

[Locria Cyber]

Hello Lean people. The language actually a year old by now. It took me a long time to write a cheatsheet for algograph. I guess I just didn't get around to do it.
Here's the language syntax description: https://www.1a-insec.net/stuff/algograph/syntax.pdf

[Notification Bot]

This topic was moved here from #announce > I made a language! (algograph) by Floris van Doorn.

[Floris van Doorn]

Hello @Locria Cyber. I moved your message to another stream. #announce is usually reserved for important announcements related in some way to Lean.

[Eric Wieser]

I found the paper mentioned at https://www.1a-insec.net/stuff/algograph/ a little more interesting than the cheatsheet you linked above; I think there's some UI ideas for something like https://incredible.pm/ in there, but sadly it seems without an implementation.

[Locria Cyber]

@Eric Wieser Thank you for the interest!

I think there's some UI ideas for something like https://incredible.pm/ in there, but sadly it seems without an implementation.

The idea is to make a graphical operating system system with three components: a shell, an editor and a compiler.

[Mr Proof]

Are there some examples of algorithms in your new language? So this is kind of like a Penrose notation but for type theory?