On 2013-09-19 19:51, Sergei Meshveliani wrote: > What does this mean "to abstract over a term" ? http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.With-expression -- /NAD