<div dir="ltr">In case you&#39;re not following the github repository closely, you might not know about the documentation project that is slowly taking shape at <a href="http://agda.readthedocs.org">http://agda.readthedocs.org</a>. I just added a section on with-abstraction that might be of interest to people:<div><br><div><a href="http://agda.readthedocs.org/en/latest/language/with-abstraction.html">http://agda.readthedocs.org/en/latest/language/with-abstraction.html</a></div></div><div><br></div><div>/ Ulf</div></div>