|Hi James,| |Thank you very much for the solution and explanations!| |Best regards,| | - Vlad | || -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210120/54ca0044/attachment.html>