search

tlaplus / CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
MIT License
273 stars 36 forks source link

Remove Json module #77

Open dariusf opened 2 years ago

dariusf commented 2 years ago

To prevent it from getting out of sync with the version in the standard modules. See https://github.com/tlaplus/tlaplus/issues/764#issuecomment-1265650057.