Hets - the Heterogeneous Tool Set

Copyright(c) Kristina Sojakova DFKI Bremen 2010
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerk.sojakova@jacobs-university.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

LF.Twelf2DG

Description

 

Documentation

anaTwelfFile :: HetcatsOpts -> FilePath -> IO (Maybe (LibName, LibEnv)) Source #