`with` documentation?

Does anyone know where to find documentation for the with construct? I looked here but didn’t find anything.

Thanks

1 Like

Indeed with should definitely be documented better.

For now, you can look at the Dhall spec:

1 Like