Adventures in Type Theory 4 — The Ship of Thesis

From SSA to MLIR — building a typed representation of regions, basic blocks, and control-flow graphs