Hets - the Heterogeneous Tool Set

CopyrightLicense :
Maintainera.jakubauskas@jacobs-university.de
Stabilityexperimental
Portability
Safe HaskellNone

MMT.Hets2mmt

Description

 

Documentation

mmtRes :: FilePath -> IO (Result (LibName, LibEnv))

callSpec :: FilePath -> IO (String, Maybe String)