Merge branch 'ImprovedReflection'
Merge branch 'master' of https://github.com/edwinb/Idris-dev
A couple small typo fixes in the tutorial
another small typo fix in tutorial
Some unification fixes
Type class resolution fix (disables Decidable.Decidable)
Instances should not be resolved when there is no information available.
Previously, resolution just guessed at an instance in this case, though
this was never intended behaviour!
Merge branch 'master' of https://github.com/chetant/Idris-dev
Merge branch 'master' of https://github.com/edwinb/Idris-dev
Merge pull request #329 from byorgey/patch-1

A couple small typo fixes in the tutorial
Merge pull request #330 from byorgey/patch-2

another small typo fix in tutorial
Fix invalid C codegen for unary floating point operators
Merge pull request #332 from bitlisp/fixed-float-unops

Fix invalid C codegen for unary floating point operators
Integer <-> Float conversion in C codegen
Merge pull request #333 from bitlisp/bigint-float-conversion

Integer <-> Float conversion in C codegen
Merge branch 'master' of https://github.com/edwinb/Idris-dev
Fix for conversion methods in the Java backend
Fix wrong result type for idris_peek in Java
Strictly evaluate data constructor args
Strictly evaluate type constructor args
Make prim__readString more consistent with C code

Now, newlines are returned from prim__readString just as in compiled C code.