evertedsphere / shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste
31 stars 0 forks source link

Tracking: frontend, textual syntax #5

Open mrkgnao opened 4 years ago

mrkgnao commented 4 years ago

The eventual goal is to have something "richer" than just text, but for starters I think we can go with an ordinary text-based syntax. I do want editor-enhanced structured editing along the lines of Spacemacs SPC k lisp mode. The main choices I see are:

brendanzab commented 4 years ago

Rebol's syntax is also pretty interesting - kind of like a funky, alternate-reality Lisp. Blocks look like they could be rather related to multi-stage programming. 🤔