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
In lines 18-22 of Polymorphism.v there is a typo describing option. I'd do a PR but I'm not quite sure what it should say:
While Java and friends force all sorts of different types to include the special value [null],
in Coq we request that option explicitly [something here] by wrapping a type in [option].
The text was updated successfully, but these errors were encountered:
I don't think this is a typo; if you replace 'that' with 'this' it might be easier to parse. The first occurrence of the word option is using it in its normal, dictionary definition sense.
In lines 18-22 of Polymorphism.v there is a typo describing
option
. I'd do a PR but I'm not quite sure what it should say:The text was updated successfully, but these errors were encountered: