You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There shouldn't be any difference, but, for example base/Fmt/sprintf.kind does not check with the cli tool, but does with the extension. Similarly base/Nat/add/cancel_left.kind doesn't check with the extension, but does with the cli tool.
The text was updated successfully, but these errors were encountered:
There shouldn't be any difference, but, for example
base/Fmt/sprintf.kind
does not check with the cli tool, but does with the extension. Similarlybase/Nat/add/cancel_left.kind
doesn't check with the extension, but does with the cli tool.The text was updated successfully, but these errors were encountered: