Parsing for Big Integer constants fixed
Merge pull request #265 from JanBessai/IntegerParsing

Parsing for Big Integer constants fixed
Hack to parse big integer constants without overflow
But we still need fromInteger to do the right thing
Remove the unicode from the source files.

This has tripped up at least a couple people trying to install idris, because their
LANG setting did not include unicode, or something.  This comment was just copied
and pasted from the comments of the Haskell lib.  The benefits of having a math
symbol in there don't seem to be worth the pain it causes some people.
Merge pull request #267 from LeifW/get_rid_of_unicode_in_source

Remove the unicode from the source files.
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.
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
Disallow laziness annotations below top level (since they don't work there)
Handles issue #263