Merge branch 'ImprovedReflection'
A couple small typo fixes in the tutorial
another small typo fix in tutorial
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.
Make test026 more robust
Merge pull request #334 from JanBessai/master

Some fixes related to typeconversion in the Java backend
Merge pull request #335 from david-christiansen/providers-work

Updates to type provider infrastructure
Default to Integer instead of Int, and adjust fromInteger accordingly
Fix for proofs in test025 (until I've added support for Decidable.Order)