<div dir="ltr">What is it to include batteries? What is a PRI? (I googled both for like ten minutes.)<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Sep 26, 2016 at 7:55 PM, Francesco Ariis <span dir="ltr"><<a href="mailto:fa-ml@ariis.it" target="_blank">fa-ml@ariis.it</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Mon, Sep 26, 2016 at 07:49:57PM -0700, Michael Sloan wrote:<br>
> Do you have a link?  I am not psychic.<br>
<br>
</span><a href="https://en.wikipedia.org/wiki/Haskell_Platform" rel="noreferrer" target="_blank">https://en.wikipedia.org/wiki/<wbr>Haskell_Platform</a><br>
<div class="HOEnZb"><div class="h5">______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Jeff Brown | Jeffrey Benjamin Brown</div><div dir="ltr"><a href="https://msu.edu/~brown202/" style="font-size:12.8px" target="_blank">Website</a><br></div><div dir="ltr"><div dir="ltr"><a href="https://www.facebook.com/mejeff.younotjeff" target="_blank">Facebook</a></div><div dir="ltr"><a href="https://www.linkedin.com/in/jeffreybenjaminbrown" target="_blank">LinkedIn</a> (InMail is unreliable)</div><div><a href="https://github.com/jeffreybenjaminbrown" target="_blank">Github</a></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>
</div>