Remove Json module

Open dariusf opened this issue 3 years ago • 0 comments

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.

Oct 04 '22 03:10 dariusf