Fixed whitespace issues
[ Agda standard library ] Fixed documentation
[ Agda ] Fixed issue 1264