Added (bare) Data.Float
Updated Reflection to support quoted literals
Merge quoted literals
Fixed issue #25
Builtin bindings for reflected function definitions
Merge reflect-fundef
[ README.agda ] Fixed documentation
[auto] merge master into gh-pages
[auto] updated html listings