search

will62794 / tla-web

Interactive, web-based environment for exploring TLA+ specifications.
MIT License
69 stars 7 forks source link

Can I embed this in another website? #36

Closed hwayne closed 2 months ago

hwayne commented 5 months ago
  1. This is amazingly cool, thank you for making this.
  2. If possible, I think this would be a great addition to learntla. Is it something I can embed in another website? If so, how? No worries if this is impossible or would take too long to explain!
will62794 commented 5 months ago

This is amazingly cool, thank you for making this.

Thanks, glad you like it!

Is it something I can embed in another website? If so, how?

Yes, in theory this should be totally possible and something I had started to think about a bit but hadn't looked at in depth or documented yet.

I started to sketch out a basic sample of how you could, for example, embed just the interpreter itself in a stand alone web page. You can see a quick write up describing this here. In future it would be interesting to consider if UI components themselves from the tool could be embedded as well. I think this is possible and not too difficult, I would just need to give a it a bit more thought.