I just added a tutorial to trygrace.dev which highlights some of the neat features of the Grace browser
read image description
ALT
3
12
49
Conversation
Replying to
This looks coool! I love how you represented the connectives using different UI elements, especially cool how functions are represented. This stuff reminds me a bit of “Tangible Functional Programming” by Conal Elliott? conal.net/papers/Eros/