[ agda-lib-ffi ] Fixed compilation with GHC 7.8.2.
Add implicit Level argument to isInj_1 and isInj_2
Merge pull request #18 from aztek/master

Make Data.Sum.isInj_1 and Data.Sum.isInj_2 level-polymorphic
[auto] merge master into gh-pages
[auto] updated html listings