[Haskell-cafe] Idris

Ryan Ingram ryani.spam at gmail.com
Fri Jan 20 20:15:31 CET 2012

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...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120120/999e442e/attachment.htm>

More information about the Haskell-Cafe mailing list