edwinb/Idris-dev — pull request #273 by melted (2013-04-07 10:54:03+00:00)
Title: Implement dynamic linking on Windows

There need to be some way to get the calling conventions right to make
it really useful. But this will at least unbreak the build for Windows
and it works correctly for normal C calls.

Tested on Windows and Linux.