Fix collapsibility bug
Fix missing case in Idris.Primitives.p_strLen
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.
Merge pull request #1 from bytbox/patch-1: use 'setlocal' instead of 'set' in idris.vim
whoops, accidentally rolled back some of the new syntax
Typeclass for Decidable n-ary relations and decidable orders + instance for Nat
Foreign functions for Arrays, Memory Mapped IO and to get the length of a File
Merge pull request #270 from JanBessai/EffectfulMemoryOperations

Effectful memory operations
Merge branch 'master' of github.com:edwinb/Idris-dev
Merge pull request #271 from andy-morris/p_strLen

Fix missing case in Idris.Primitives.p_strLen
Merge branch 'fixWin' of https://github.com/melted/Idris-dev into melted-fixWin
Merge pull request #274 from jhenahan/master

Use 'setlocal' instead of 'set' in idris.vim
Disallow laziness annotations below top level (since they don't work there)
Handles issue #263
Merge branch 'master' of github.com:edwinb/Idris-dev
Remove the unused arg from lookup functions

Previously, there was an ignored argument to lookupCtxtName and its
derivatives. This has been removed to prevent confusion.
Merge pull request #276 from david-christiansen/lookups

Remove the unused arg from lookup functions
Improve :t for names, rendering implicits and class constraints
Merge branch 'master' of github.com:edwinb/Idris-dev

Conflicts:
	src/Idris/REPL.hs
some further work on effectful memory
Merge branch 'master' of http://githib.com/edwinb/Idris-dev into EffectfulMemoryOperations