An effect to allocate and manipulate memory
Test fixed
Made do_poke private
Proper initialization semantics for raw memory
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.
Remove dynamically loaded RTS due to 32/64-bit issues on OS X
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
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
Merge remote-tracking branch 'upstream/master' into providers
Get laziness info
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.