http://github.com/larrytheliquid/Lemmachine -- Respectfully, Larry Diehl www.larrytheliquid.com -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.chalmers.se/pipermail/agda/attachments/20100501/8320bd9b/attachment.html