diff options
| author | Cliff Click <cliffc@acm.org> | 2024-11-27 11:29:33 -0800 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2025-01-15 15:07:30 -0800 |
| commit | 65454d77eba95d7f814336377f78d9f42c7455f9 (patch) | |
| tree | 976efed369498c7e976fe5098f6a406fed81cb53 /chapter12/README.md | |
| parent | 34766f1a2e9e60626eb1bd5a08140fc41a3770c8 (diff) | |
| download | Simple-65454d77eba95d7f814336377f78d9f42c7455f9.tar.gz Simple-65454d77eba95d7f814336377f78d9f42c7455f9.zip | |
More lattice docs reworks
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 + |