A tool for prettyprinting Twelf code
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
TwelfPPR
.gitignore
LICENSE
Makefile
README
TwelfPPR.lhs
twelfppr.cabal

README

Installation
===

`twelfppr` uses Cabal for build management, so you should be able to
compile and install it with a simple command:

    cabal install

(Ignore the Makefile)

This should pull down the (few) dependencies and install the twelfppr
binary in ~/.cabal/bin.

Now try running it on some signature:

    ~/.cabal/bin/twelfppr -t ~/twelf/bin/twelf-server sources.cfg

Note that the signature defined by sources.cfg should be loadable by
Twelf without error, or `twelfppr` will fail with a cryptic error
message.