[Agda] Abstract blocks

Nils Anders Danielsson nad at chalmers.se
Tue Jan 10 14:35:46 CET 2012


On 2012-01-07 16:11, karim kanso wrote:
> Anyone know if this is this the intended behaviour, or confirm as a
> bug?

Bug: http://code.google.com/p/agda/issues/detail?id=546.

-- 
/NAD


More information about the Agda mailing list