Style update.
Added license.
Added README.md.
Update HTML to match the std-lib.
Mention license for Agda standard library.
Wrong filename.
Merge branch 'master' into standalone-lib
Update README.md.
Update HTML.