diff options
Diffstat (limited to 'docs/ProgrammersManual.html')
-rw-r--r-- | docs/ProgrammersManual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html index 1ee38603c7..e6653f57a0 100644 --- a/docs/ProgrammersManual.html +++ b/docs/ProgrammersManual.html @@ -1279,7 +1279,7 @@ For our purposes below, we need three concepts. First, an "Opaque Type" is exactly as defined in the <a href="LangRef.html#t_opaque">language reference</a>. Second an "Abstract Type" is any type which includes an opaque type as part of its type graph (for example "<tt>{ opaque, int }</tt>"). -Third, a concrete type is a type that is not an abstract type (e.g. "<tt>[ int, +Third, a concrete type is a type that is not an abstract type (e.g. "<tt>{ int, float }</tt>"). </p> |