Changing all lambdas to use comma separated style (e.g. '\x => \y =>' to '\x,y =>')
Merge branch 'master' into lambdastyle

Conflicts:
	libs/prelude/Prelude/Vect.idr
Merge pull request #1638 from johnny-john/lambdastyle

Changing all lambdas to use comma separated style (e.g. '\x => \y =>' to...