[Agda-dev] Clauses and trailing implicit arguments

[Andrés Sicard-Ramírez]

On 23 January 2015 at 08:30, Philipp Hausmann <p.hausmann at students.uu.nl>
wrote:

> Is reported:
> https://code.google.com/p/agda/issues/detail?id=1412
>

​I could reproduce both problems. Thanks!​


-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150123/1136028d/attachment.html