Identity object

The language has a symbol for the identity object, I, which is [x] > (φ ↦ x). Writing that formation out by hand instead of using the symbol is discouraged.

Incorrect:

[] > jeff
  [value] > pass
    value > @
  foo pass > @

Correct:

[] > jeff
  foo I > @

Published on Fri Oct 2 12:30:40 UTC 2026.