[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