[Haskell-cafe] Idris

Ozgur Akgun 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
there: http://groups.google.com/group/idris-lang


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
> running.
>   -- ryan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120120/0ddc6a8f/attachment.htm>

More information about the Haskell-Cafe mailing list