@@ -38,8 +38,8 @@ untrusted foreign data. Just call the relevant mold with that data
38and check that the input equals the output. This is one reason why
38and check that the input equals the output. This is one reason why
39molds must be idempotent; if the untrusted data is of the correct
39molds must be idempotent; if the untrusted data is of the correct
40type, passing it to the mold shouldn't change it. But this use case
40type, passing it to the mold shouldn't change it. But this use case
41−is unusual for beginners; otherwise you shouldn't call molds
41+is unusual for beginners; in normal practice you shouldn't call
42−directly.
42+molds directly.
44More frequently, molds are used when we want to `cast`. We use a
44More frequently, molds are used when we want to `cast`. We use a
45cast when we want the Hoon compiler's type-checker to test whether
45cast when we want the Hoon compiler's type-checker to test whether