Fix more typos

lang/step.md

@@ -156,7 +156,7 @@ It also ensures that the pointer is dereferenceable.
 
 ```rust
 impl Machine {
-    fn eval_place(&mut self, expr @ Deref { operand, .. }: PlaceExpr) -> NdResult<Place> {
+    fn eval_place(&mut self, Deref { operand, .. }: PlaceExpr) -> NdResult<Place> {
         let Value::Ptr(p) = self.eval_value(operand)? else {
             panic!("dereferencing a non-pointer")
         };

lang/syntax.md

@@ -79,7 +79,7 @@ enum Terminator {
     Call {
         callee: FnName,
         /// The arguments to pass, and which ABIs to use for that.
-        arguments: List<(ValueExpr, ArgABi)>,
+        arguments: List<(ValueExpr, ArgAbi)>,
         /// The place to put the return value into, and which ABI to use for that.
         ret: (PlaceExpr, ArgAbi),
         /// The block to jump to when this call returns.

lang/types.md

@@ -5,7 +5,7 @@ Note that MiniRust types play a somewhat different role than Rust types:
 every Rust type corresponds to a MiniRust type, but MiniRust types are merely annotated at various operations to define how [values](values.md) are represented in memory.
 Basically, they only define a (de)serialization format -- the **representation relation**, define by an "encode" function to turn values into byte lists, and a "decode" function for the opposite operation.
 In particular, MiniRust is by design *not type-safe*.
-However, the representation relation is a key part of the language, since it forms the interface between the low-level and high-level view of data, between lists if (abstract) bytes and [values](values.md).
+However, the representation relation is a key part of the language, since it forms the interface between the low-level and high-level view of data, between lists of (abstract) bytes and [values](values.md).
 For pointer types (references and raw pointers), we types also contain a "mutability", which does not affect the representation relation but can be relevant for the aliasing rules.
 (We might want to organize this differently in the future, and remove mutability from types.)
 

lang/well-formed.md

@@ -260,7 +260,7 @@ impl Statement {
                 locals
             }
             StorageDead(local) => {
-                if func.ret.0 == local || func.args.iter().any(|(arg_name, _abi) arg_name == local) {
+                if func.ret.0 == local || func.args.iter().any(|(arg_name, _abi)| arg_name == local) {
                     // Trying to mark an argument or the return local as dead.
                     throw!();
                 }
@@ -353,7 +353,7 @@ impl Function {
 impl Program {
     fn check(self) -> Option<()> {
         // Ensure the start function exists, and takes no arguments.
-        let func = self.functions.get(start)?;
+        let func = self.functions.get(self.start)?;
         if func.args.len() > 0 { return None; }
         // Check all the functions.
         for function in self.functions.values() {