Updating the documentation to match changes in Fate.

1 files changed, 11 insertions, 2 deletions

diff --git a/content/fate_v1/computations/lambda_functions/_index.md b/content/fate_v1/computations/lambda_functions/_index.md
index 35485a3..7992b54 100644
--- a/content/fate_v1/computations/lambda_functions/_index.md
+++ b/content/fate_v1/computations/lambda_functions/_index.md
@@ -7,17 +7,26 @@ corresponds to the function itself, the `eval` computation must be used to
 obtain the value that the function computes.
 
 ### DEFINITION
-{{< fatecode >}}(lambda (([T0 = TYPE] {S0 = String}) ... ([TN = TYPE] {SN = String})) [COMPUTATION]){{< /fatecode >}}
+{{< fatecode >}}(lambda
+   (([T0 = TYPE] {S0 = String}) ... ([TN = TYPE] {SN = String}))
+   [COMPUTATION]
+){{< /fatecode >}}
 
 Returns a lambda function taking `S0` ... `SN` of types `T0` ... `TN` as
 arguments and evaluating to `[COMPUTATION]`.
 
 ### EVALUATION
-{{< fatecode >}}(eval [REFERENCE] [C0 = COMPUTATION] ... [CN = COMPUTATION]){{< /fatecode >}}
+{{< fatecode >}}(eval [LAMBDA O (C0 ... CN)] [C0 = COMPUTATION] ... [CN = COMPUTATION]){{< /fatecode >}}
 
 Returns the result of evaluating the lambda function at `[REFERENCE]` given the
 parameters `C0` ... `CN`.
 
+### PARTIAL EVALUATION
+{{< fatecode >}}(partial [LAMBDA O (C0 ... CN)] [C0 = COMPUTATION] ... [CM = COMPUTATION]){{< /fatecode >}}
+
+Returns a lambda function corresponding to the `[LAMBDA O (C0 ... CN)]` in which
+the first M parameters have already been filled with `C0` ... `CM`.
+
 ## Examples
 {{< fatecode >}}(lambda ( (int i) )
    (+ (var i) 1)