[Haskell-cafe] Idris

[Ozgur Akgun]

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 <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>