[Agda] Pretty Print Line Length

[Philip Wadler]

How does one adjust the length of the pretty-printed expression, e.g., when
using ^C^N in Emacs mode? Apologies if this is obvious, but I could not
spot it in the documentation or with a Google search. Cheers, -- P

.   \ Philip Wadler, Professor of Theoretical Computer Science,
.   /\ School of Informatics, University of Edinburgh
.  /  \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180523/99d9e2c8/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180523/99d9e2c8/attachment.ksh>