Just by looking at the hackage dependencies, it doesn't look like it has unix-only dependencies. Maybe the Boehm garbage collector? http://www.hpl.hp.com/personal/Hans_Boehm/gc/
Also, Idris has a mailing list, Edwin would be more likely to respond there: http://groups.google.com/group/idris-lang HTH, Ozgur On 20 January 2012 19:15, Ryan Ingram <[email protected]> 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 > running. > > -- ryan > >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
