| Copyright | (c) Kristina Sojakova DFKI Bremen 2010 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | k.sojakova@jacobs-university.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
LF.Twelf2DG
Description
Documentation
anaTwelfFile :: HetcatsOpts -> FilePath -> IO (Maybe (LibName, LibEnv)) Source #