Add SVG!Svg element - Githubissues

tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

MIT License

273 stars 36 forks source link

Add SVG!Svg element #18

Closed lemmy closed 4 years ago

lemmy commented 4 years ago

https://github.com/lemmy/tlaplus_specs/blob/908abbb9c3e61ba504643a4a51717cc2f854ee74/AsyncGameOfLifeAnimGlider.tla#L18-L21 shows why.

https://developer.mozilla.org/en-US/docs/Web/SVG/Element/svg

lemmy commented 4 years ago

@will62794