[ .mailmap ] Added some names
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0
[ refactor ] Removed commented-out code.
[ refactor ] generalized isRecordType to tryRecordType.
[ refactor ] Made a line easier to read (pointfull).
Merge branch 'maint-2.4.0' into splitResult
[ splitResult ] Introduce pattern variables before splitting on result.
This handles function types ending in record type.
[ splitResult ] Updated test case to work with function types.
[ splitResult ] updated CHANGELOG to include function types.