[Agda] Re: Issue 897 in agda: unnatural space behavoir of the checker

Nils Anders Danielsson nad at cse.gu.se
Fri Sep 20 13:37:55 CEST 2013


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


More information about the Agda mailing list