I can't participate, but I certainly will be waiting for the videos. OPLSS is incredibly awesome. - darryl -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.chalmers.se/pipermail/agda/attachments/20130323/0b910e19/attachment.html