[Agda] PrettyPrint.agda

[Yoriyuki Yamagata]

Hi List!

I have translated Haskell's Pretty Printing library
(Text.PrettyPrint.HughesPJ) to Agda.

You can get the source directly from

http://staff.aist.go.jp/yoriyuki.yamagata/AgdaPrettyPrint/PrettyPrint.agda

or through darcs

darcs get http://staff.aist.go.jp/yoriyuki.yamagata/AgdaPrettyPrint/

It's only slightly tested. I welcome any opinion!

Cheers,
-- 
Yoriyuki Yamagata (Research Scientist)
National Institute of Advanced Industrial Science and Technology
E-mail: yoriyuki.yamagata at aist.go.jp
Tel:+81-6-4863-5036 FAX:+81-6-4863-5052
http://staff.aist.go.jp/yoriyuki.yamagata/index.html.en