diff options
Diffstat (limited to 'spec/06-expressions.md')
-rw-r--r-- | spec/06-expressions.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/06-expressions.md b/spec/06-expressions.md index 9cd58ea346..c24ca01c3b 100644 --- a/spec/06-expressions.md +++ b/spec/06-expressions.md @@ -1341,7 +1341,7 @@ to $U$ after applying [eta-expansion](#eta-expansion) and ### Value Conversions -The following five implicit conversions can be applied to an +The following seven implicit conversions can be applied to an expression $e$ which has some value type $T$ and which is type-checked with some expected type $\mathit{pt}$. |