Feature Request: with rule

[jgarte]

Hi,

Is the with rule something that will eventually be covered?

https://idris2.readthedocs.io/en/latest/tutorial/views.html

[stefan-hoeck]

I don't use with a lot, so currently I don't have a lot of good examples explaining its uses.

[jgarte]

Thanks for the info. I will avoid with for now also unless I stumble on to an absolute need to use it when the time comes.