diff options
Diffstat (limited to 'chapter12/README.md')
| -rw-r--r-- | chapter12/README.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/chapter12/README.md b/chapter12/README.md index 0a32298a..53866440 100644 --- a/chapter12/README.md +++ b/chapter12/README.md @@ -47,7 +47,8 @@ And their own section in the Type lattice: Within the Type Lattice, we now add the following domain: -* Float type - Float values. The same shape as the Integer values, but floats +* <font style="background-color:aqua">Float type</font> - Float values. The same shape as the Integer values, but floats with a TOP, BOT and constants + |