[Agda] running out of memory in formalization of category theory

[Nils Anders Danielsson]

On 2010-06-06 19:49, kahl at cas.mcmaster.ca wrote:
> Is there more documentation of ``abstract'' anywhere?

I don't think there is any formal definition of what "abstract" means. I
also regard it as rather experimental and ad-hoc, and try to avoid using
it if I can, in the hope that a cleaner alternative will eventually
emerge.

-- 
/NAD