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
Original bug ID: 7195 Reporter: MonsieurPi Assigned to:@gasche Status: closed (set by @xavierleroy on 2017-09-24T15:32:08Z) Resolution: not a bug Priority: low Severity: text Version: 4.02.3 Category: documentation
Bug description
subtraction instead of substraction :
val sub : t -> t -> t
Subtraction
The text was updated successfully, but these errors were encountered:
Original bug ID: 7195
Reporter: MonsieurPi
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2017-09-24T15:32:08Z)
Resolution: not a bug
Priority: low
Severity: text
Version: 4.02.3
Category: documentation
Bug description
subtraction instead of substraction :
val sub : t -> t -> t
Subtraction
The text was updated successfully, but these errors were encountered: