The beautifHOL package

[Tags: gpl, program]

This is a pretty-printer for higher-order logic (HOL). It reads in a formula and outputs it to standard out. A paper describes its design and motivation at the project website. The approach expands upon Leslie Lamport's paper, "How to Write a Long Formula," available at http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#lamport-howtowrite.


Properties

Versions0.1, 0.10, 0.11
Dependenciesarray, base, haskell98, mtl
LicenseGPL
AuthorLee Pike <leepike@gmail.com>
MaintainerLee Pike <leepike@gmail.com>
CategoryText
Home pagehttp://www.cs.indiana.edu/~lepike/pub_pages/holpp.html
ExecutablesbeautifHOL
UploadedTue Jan 20 02:58:45 UTC 2009 by LeePike
Downloads344 total (19 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees