json package:liquidhaskell-boot

print results (safe/errors) as JSON
Dump diagnostics as JSON