20 Jan
2012
20 Jan
'12
3:24 p.m.
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
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