Viewing profile — rybla

Thanks for the catch, added

Try Pantograph online: https://pantographeditor.github.io/Pantograph/

Looks interesting, but I'm having trouble finding where to start reading about what's involved. Do you have a suggestion?

Would anyone use this for real programming, if it supported your favorite programming language? I know "supported" is a loaded word there, but just take that to mean: supports all …

Currently, we've only instantiated the system for the simply-typed SML-like language that you can use in the tutorial ( https://pantographeditor.github.io/Pantograph ). Going throu…

Thanks! We're working on extending the system to support more advanced type systems. In theory, the current system could already support these kinds of features (but not in quite a…

Pantograph is a new kind of structure editor where you directly edit a typed program. In order to accomplish this, it introduces a new kind of selection -- tree selection -- and a …