hoaproject/Json — pull request #2 by Hywan (2014-10-04 10:17:49+00:00)
Title: Test soundness.

See https://github.com/hoaproject/Compiler/pull/33.