From d091d07cdc46b7afa9800af0942d296079fe3bbd Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" Date: Fri, 4 Aug 2023 22:42:07 +0000 Subject: Update website --- manual/index.html | 3 --- 1 file changed, 3 deletions(-) diff --git a/manual/index.html b/manual/index.html index 8ccaa82a..902d059b 100644 --- a/manual/index.html +++ b/manual/index.html @@ -2674,9 +2674,6 @@ non-iterables, respectively.

Produces an error with the input value, or with the message given as the argument. Errors can be caught with try/catch; see below.

-

When the error value is null, it produces nothing and works -just like empty. So [null | error] and [error(null)] both -emit [].