[Agda] PrettyPrint.agda
Nils Anders Danielsson
nils.anders.danielsson at gmail.com
Wed Aug 27 13:38:24 CEST 2008
On Wed, Aug 27, 2008 at 04:30, Yoriyuki Yamagata
<yoriyuki.yamagata at aist.go.jp> wrote:
>
> Thank you for the suggestion. I will look to them.
I think that the latest version of Olaf Chitil's pretty-printing
library should be relatively easy to port:
http://www.cs.kent.ac.uk/people/staff/oc/pretty.html
A quick inspection of the source code indicates that all you need to
do in order to please the termination and coverage checkers is to add
a size index to the deque type.
--
/NAD
More information about the Agda
mailing list