| Copyright | (c) Fontaine 2009 |
|---|---|
| License | BSD |
| Maintainer | Fontaine@cs.uni-duesseldorf.de |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | None |
| Language | Haskell2010 |
CSPM.LTS.ToDot
Description
dump a Lts as a Dot-file todo : completely rewrite (use dot-library)