On 21/01/2012 5:45 AM, Ryan Ingram 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
Idris itself will compile straightforwardly (although there are some
shell dependencies that needs to be bypassed), the os dependent stuff is
contained in the library epic upon which idris depends, which wraps some
c code which is os dependent (#defines and other cruft).
The long and short of it is, I have "hacked" it (both epic & idris) to
compile on windows. However, I have not debugged it, so that it works
properly (I have taken some liberties/shortcuts to get it to compile).
I have not had any time to progress this further and probably won't for
the foreseeable future. I can make my "hacked" code available to you,
together with my notes. I imagine it would require a couple of days
effort to correct and ensure that it works properly, testing it etc
(depending on how far you want to go).
Contact me off the email list if interested.
jvl
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
