diff options
| author | Iain McGinniss <iainmcgin@gmail.com> | 2013-02-19 21:17:30 +0000 |
|---|---|---|
| committer | Iain McGinniss <iainmcgin@gmail.com> | 2013-02-19 21:17:30 +0000 |
| commit | 1352994346ee78a0d4140c65e61822aca12229c2 (patch) | |
| tree | dd1e19247fcd33dc7d51d4b5745d161561f5f376 /05-types.md | |
| parent | 7691d7fe8d479c0da7bf1d5118a054c2ba94d2d5 (diff) | |
| download | scala-1352994346ee78a0d4140c65e61822aca12229c2.tar.gz scala-1352994346ee78a0d4140c65e61822aca12229c2.tar.bz2 scala-1352994346ee78a0d4140c65e61822aca12229c2.zip | |
use \sigma instead of raw unicode character in math mode, as it
does not render in the PDF otherwise.
Diffstat (limited to '05-types.md')
| -rw-r--r-- | 05-types.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/05-types.md b/05-types.md index a5268bf0e6..3f9ca809f5 100644 --- a/05-types.md +++ b/05-types.md @@ -172,7 +172,7 @@ parameters $a_1 , \ldots , a_n$. Say the type parameters have lower bounds $L_1 , \ldots , L_n$ and upper bounds $U_1 , \ldots , U_n$. The parameterized type is well-formed if each actual type parameter -_conforms to its bounds_, i.e. $σ L_i <: T_i <: σ U_i$ where $σ$ is the +_conforms to its bounds_, i.e. $\sigma L_i <: T_i <: \sigma U_i$ where $\sigma$ is the substitution $[ a_1 := T_1 , \ldots , a_n := T_n ]$. (@param-types) Given the partial type definitions: |