Merge branch 'dev' into projector-html

Author: disconcision

test/evaluator/Test_StepperBase.re

@@ -301,19 +301,27 @@ let tests = (
       "single step: beta reduction",
       `Quick,
       () => {
-        let exp = Exp.fresh(Ap(
-          Forward,
-          Exp.fresh(Fun(
-            Pat.fresh(Var("x")),
-            Exp.fresh(BinOp(Int(Plus),
-              Exp.fresh(Var("x")),
-              Exp.fresh(Atom(Int(Bigint.of_int(1)))),
-            )),
-            None,
-            None
-          )),
-          Exp.fresh(Atom(Int(Bigint.of_int(5)))),
-        ))
+        let exp =
+          Exp.fresh(
+            Ap(
+              Forward,
+              Exp.fresh(
+                Fun(
+                  Pat.fresh(Var("x")),
+                  Exp.fresh(
+                    BinOp(
+                      Int(Plus),
+                      Exp.fresh(Var("x")),
+                      Exp.fresh(Atom(Int(Bigint.of_int(1)))),
+                    ),
+                  ),
+                  None,
+                  None,
+                ),
+              ),
+              Exp.fresh(Atom(Int(Bigint.of_int(5)))),
+            ),
+          );
         let elab = elaborate(exp);
         let result =
           run_single_step(