`with` documentation?

[padhia]

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

Thanks

[sjakobi]

Indeed with should definitely be documented better.

For now, you can look at the Dhall spec:

• https://github.com/dhall-lang/dhall-lang/blob/master/standard/type-inference.md#records
• https://github.com/dhall-lang/dhall-lang/blob/master/standard/beta-normalization.md#records