[ splitResult ] Interaction test case.
[ splitResult ] makeCase with no vars now tries to split on result
(introducing projection patterns).
[ splitResult ] documented in CHANGELOG.
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.
Merge branch 'splitResult' into maint-2.4.0
Merge branch 'maint-2.4.0'
[ git ] Added more author spellings to .mailmap
[ license ] Added everyone > 3 patches to list of copyright holders.
[ Agda.cabal ] Added more authors.
Merge branch 'maint-2.4.0'