A LaTeX-backend
Fix for issue 713
Tried to improve the documentation of agda2-program-args.
Updated an error message.
cleanup ('catchError' already restores the state in case of failure)
adjust comments
move 'ioTCMState' to GhciTop.hs
adjust comment
fuse 'infoOnException' and 'putResponseIO' into 'handleNastyErrors'
fuse 'ioTCMState' into 'ioTCM'
move 'InteractionState' to GhciTop.hs
set 'emacsFormat' only in the init state
inline initState
make a definition local
Started to add a SIZEMAX builtin.  Does not do much yet.
Internal change: size constraints over de Bruijn levels instead of CtxIds.
Added test case for issue 709.  Succeeds with termination depth 2.
Fixed issue 300!  Better handling of size constraints arising in different contexts.
Refactoring: simplified code surrounding size constraint solving.
We are working with canonical size constraints now.
Issue 420 is fixed.  Modules can be applied to named arguments.