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
Updated Reflection with absurd clauses/patterns.
Updated reflection with pattern lambdas
Recursive records must now be declared as inductive or coinductive.
Reflection: add projections for Arg-info
Merge pull request #27 from crypto-agda/arg-info-proj

Reflection: add projections for Arg-info
renamed instance constructor of Reflection

instance is now a keyword
Merge branch 'master' from github
[ Reflection ] Fixed indentation
Added release procedure
[ release notes ] Added changes to the reflection API
[ Reflection ] Fixed indentation
fixed ambiguous name error arising from fix to issue 892
Merge branch 'master' of github.com:agda/agda-stdlib