import Lima.Converter import Data.Text.IO qualified as T main :: IO () main = T.readFile "README.hs" >>= T.writeFile "README.md" . (Hs `convertTo` Md) def