Hets - the Heterogeneous Tool Set
Copyright
License
Maintainera.jakubauskas@jacobs-university.de
Stabilityexperimental
Portability
Safe HaskellNone

MMT.Hets2mmt

Description

 

Documentation

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

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