<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Awesome! Can't wait to port happstack :) Will have to rename it to Aappstack though :-/<div><br></div><div>- jeremy<br><div><br></div><div><br><div><div>On May 1, 2010, at 5:14 PM, Larrytheliquid wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><meta charset="utf-8"><a href="http://github.com/larrytheliquid/Lemmachine">http://github.com/larrytheliquid/Lemmachine</a><br clear="all"><br>-- <br>Respectfully,<br>Larry Diehl<br><a href="http://www.larrytheliquid.com">www.larrytheliquid.com</a><br> _______________________________________________<br>Agda mailing list<br><a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>https://lists.chalmers.se/mailman/listinfo/agda<br></blockquote></div><br></div></div></body></html>