[Agda] Typechecking a module using Haskell

TOmmo Ceee tm1rbrt at gmail.com
Sat Jun 16 16:44:38 CEST 2012


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


More information about the Agda mailing list