adp-multi is an adaptation of the Algebraic Dynamic Programming method for multiple context-free languages.

It is a library based on the original Haskell-ADP implementation and can be considered an unoptimized prototype.

You can find out more about it at its project page.

1. Check out the git repository
2. Run cabal install --flags="buildTests" inside the checked out folder
3. Run adp-test to see if there's some output (then it works)
4. Explore the examples (start at tests/ADP/Tests/Main.hs)

The library is also published on Hackage.

1. Write a unit and/or property test which reproduces the error (see tests/ADP/Tests/)
2. Try to fix the error
3. Submit a pull request which includes the failing test (and possibly the fix)

If you get Haskell exceptions, then it is useful to enable stack traces:

0. (If not already done) Install all used packages with --enable-library-profiling (can be enabled by default in ~/.cabal/config or ~\AppData\Roaming\cabal\config, respectively)
1. Compile adp-multi with the GHC options -rtsopts -prof -auto-all (performance will be degraded)
2. Run with +RTS -xc to get stack traces on exceptions