beautifhol 0.11-2
http://hackage.haskell.org/package/beautifHOL
A pretty-printer for higher-order logic
unsupported :: devel
Maintainer: arch-haskell
Votes: 0
License: GPL
Last Updated: Sun, 31 Jan 2010 00:05:05 +0000
First Submitted: Tue, 20 Jan 2009 05:17:41 +0000
Dependencies gmp
v1.6.0