[Agda] Record scoping issue

Nils Anders Danielsson nad at cse.gu.se
Wed Sep 7 11:13:28 CEST 2016


On 2016-09-06 18:00, Jorn van Wijk wrote:
>   -- also, what does putting modules between fields have for functionality?:

I didn't know you could do this. Perhaps you've discovered a bug.

-- 
/NAD


More information about the Agda mailing list