Could someone please talk me through how to load and typecheck a module using the agda package from hackage please. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.chalmers.se/pipermail/agda/attachments/20120616/803fe880/attachment.html