2010-04-02 05:40:06 +00:00
|
|
|
module Lang where
|
|
|
|
|
|
2012-02-14 07:09:53 +00:00
|
|
|
import qualified Gap
|
2010-04-30 09:36:31 +00:00
|
|
|
import Types
|
2010-04-02 05:40:06 +00:00
|
|
|
|
|
|
|
|
listLanguages :: Options -> IO String
|
2012-02-14 07:09:53 +00:00
|
|
|
listLanguages opt = return $ convert opt Gap.supportedExtensions
|
