From 1ad03924bdc78dfb6ea2fa350506580639b7f9c4 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Tue, 12 Aug 2025 15:28:25 -0700 Subject: Update TypeAnalysis.md --- TypeAnalysis.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/TypeAnalysis.md b/TypeAnalysis.md index 0924c06f..25133b6d 100644 --- a/TypeAnalysis.md +++ b/TypeAnalysis.md @@ -54,7 +54,9 @@ points, generally to further optimize a program. At the core of the problem is a [lattice](https://en.wikipedia.org/wiki/Lattice_(order)) used to track what values a program point can take on. Here is a common -[example](chapter02/docs/lattice.svg) for tracking integer constants. +[example](./chapter02/docs/lattice.svg) + +for tracking integer constants. The lattices being used here are: * Symmetric - every lattice element has a *dual* * Complete - the *meet* of any two elements is another element -- cgit v1.2.3