From 42fef0458b4c92fb08016dfbaee8290ab23d9fbc Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Sat, 27 Jul 2019 19:05:32 -0700
Subject: 5493

---
 Readme.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Readme.md b/Readme.md
index 0c03f9ae..9fc2433b 100644
--- a/Readme.md
+++ b/Readme.md
@@ -790,7 +790,7 @@ To falsify these hypotheses, here's a roadmap of planned features:
   - syntax for addressing modes: `%reg`, `*reg`, `*(reg+disp)`,
     `*(reg+reg+disp)`, `*(reg+reg<<n + disp)`
   - function calls in a single line, using addressing modes for arguments
-  - syntax for controlling a type checker, like [prototype 2](https://github.com/akkartik/mu/tree/master/archive/2.vm).
+  - syntax for controlling a type checker, like [the mu1 prototype](https://github.com/akkartik/mu1).
   - a register allocation _verifier_. Programmer provides registers for
     variables; verifier checks that register reads are for the same type that
     was last written -- across all control flow paths.
-- 
cgit 1.4.1-2-gfad0