The beautifHOL package
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
| Versions | 0.1, 0.10, 0.11 |
|---|---|
| Dependencies | array, base, haskell98, mtl |
| License | GPL |
| Author | Lee Pike <leepike@gmail.com> |
| Maintainer | Lee Pike <leepike@gmail.com> |
| Category | Text |
| Home page | http://www.cs.indiana.edu/~lepike/pub_pages/holpp.html |
| Executables | beautifHOL |
| Upload date | Tue Jan 20 03:42:19 UTC 2009 |
| Uploaded by | LeePike |
| Built on | ghc-6.10 |
Downloads
- beautifHOL-0.10.tar.gz (Cabal source package)
- package description (included in the package)