1. 13
    Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus pdf editors vcs dl.acm.org
    chrislloyd avatar via chrislloyd 2 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment

  1.  

    1. 1
      doug-moen avatar doug-moen 41 hours ago

      Sounds theoretically interesting, but has anyone played with the Grove Workbench? Any comments on the ergonomics?