Has anyone played with Idris (<a href="http://idris-lang.org/">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.<br><br>  -- ryan<br><br><br>