Merge remote-tracking branch 'origin/maint-2.4.0' into maint-2.4.0
[ issue 1254 ] test case.
[ instance ] Refactored getOutputTypeName.
[ instance ] Better formatting of debug printouts.
[ instance ] Small code reformulations, haddock comment.
[ issue 1254 ] Fixed by proper use of projections.
[ instance ] isRecursive needs to be monadic (reduce)!
[ refactor ] Use Maybe for lists <= 1.
[ refactor ] Moved Signature lenses to Monad.State.
[ instance ] Refactor: use lenses to modify instance table.
[ instance ] Cosmetic changes in Telescope.hs.
[ instance ] Puzzled why there are Constructor instances.
[ instance ] A test case with constructors and modules.
Merge branch 'master' of github.com:agda/agda
[ refactor ] Moved Signature lenses to Monad.State.
[ merge ] After cherry-picking the move of Signature lenses to State.
Merge branch 'maint-2.4.0'
[ HACKING ] Added module structure to style guide.
[ Haskell style ] Minor changes.
[ .gitignore ] Added haskell-style.tex file