Closed shym closed 1 year ago
Pretty-printed core types are a lot more compact than pretty-printed gospel types, so pretty-printing them can help decode the gospel version (and ensure they are consistent)
Pretty-printed core types are a lot more compact than pretty-printed gospel types, so pretty-printing them can help decode the gospel version (and ensure they are consistent)