Just by looking at the hackage dependencies, it doesn&#39;t look like it has unix-only dependencies. Maybe the Boehm garbage collector? <div><a href="http://www.hpl.hp.com/personal/Hans_Boehm/gc/">http://www.hpl.hp.com/personal/Hans_Boehm/gc/</a></div>

<div><br></div><div>Also, Idris has a mailing list, Edwin would be more likely to respond there: <a href="http://groups.google.com/group/idris-lang">http://groups.google.com/group/idris-lang</a></div><div><br></div><div>
HTH,</div>
<div>Ozgur<br><br><div class="gmail_quote">On 20 January 2012 19:15, Ryan Ingram <span dir="ltr">&lt;<a href="mailto:ryani.spam@gmail.com">ryani.spam@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Has anyone played with Idris (<a href="http://idris-lang.org/" target="_blank">http://idris-lang.org/</a>) at all?  It looks interesting, and I&#39;d love to play with it, but unfortunately I only have windows machines up and running at the moment and the documentation seems to imply it only builds on unixy systems.<br>


<br>I&#39;m curious how difficult it would be to get a win32 implementation up and running.<span class="HOEnZb"><font color="#888888"><br><br>  -- ryan<br><br></font></span></blockquote></div>
</div>