Deployed 09638da to master with MkDocs 1.2.4 and mike 1.1.2

2022-10-25 06:42:25 +00:00
parent 1111b125e6
commit e497d0f53a
5 changed files with 12 additions and 10 deletions
@@ -1480,6 +1480,7 @@ and this project adheres to <a href="https://semver.org/spec/v2.0.0.html">Semant
  entrypoint spend(x : int) : int = x
  entrypoint f(c : Main) : int = c.spend(10)
 </code></pre></div></li>
+<li>Return a mapping from variables to FATE registers in the compilation output.</li>
 </ul>
 <h3 id="changed">Changed</h3>
 <h3 id="removed">Removed</h3>