Thanks for all the responses. It's probably going to take me some time to digest :) Silvio -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.chalmers.se/pipermail/agda/attachments/20181006/26ddebb4/attachment.html>