homotopy-io / homotopy-webclient

https://homotopy.io
26 stars 5 forks source link

Easy command-line API #35

Open jamievicary opened 5 years ago

jamievicary commented 5 years ago

Related to #23

I'd like an easy API for use in the command line for manipulating the current diagram. I think this functionality probably already exists -- let's discuss.