Update `docs/written` because fun->lam