From 65454d77eba95d7f814336377f78d9f42c7455f9 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Wed, 27 Nov 2024 11:29:33 -0800 Subject: More lattice docs reworks --- chapter12/README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'chapter12/README.md') 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 +* Float type - Float values. The same shape as the Integer values, but floats with a TOP, BOT and constants +![Graph1](./docs/lattice.svg) -- cgit v1.2.3