ozgurakgun at gmail.com
Fri Jan 20 21:24:24 CET 2012
Just by looking at the hackage dependencies, it doesn't look like it has
unix-only dependencies. Maybe the Boehm garbage collector?
Also, Idris has a mailing list, Edwin would be more likely to respond
On 20 January 2012 19:15, Ryan Ingram <ryani.spam at gmail.com> wrote:
> Has anyone played with Idris (http://idris-lang.org/) at all? It looks
> interesting, and I'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.
> I'm curious how difficult it would be to get a win32 implementation up and
> -- ryan
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe