diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-07-27 19:05:32 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-07-27 19:05:32 -0700 |
| commit | 42fef0458b4c92fb08016dfbaee8290ab23d9fbc (patch) | |
| tree | c3dd0b945a6284245c80506f7fcee9cbce6aa1ed | |
| parent | 2aa903df8bccd843498c2e76016d4a1876979d7b (diff) | |
| download | mu-42fef0458b4c92fb08016dfbaee8290ab23d9fbc.tar.gz | |
5493
| -rw-r--r-- | Readme.md | 2 |
1 files changed, 1 insertions, 1 deletions
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. |