packages feed

liquidhaskell-0.8.0.2: docs/slides/ETH14/MkCode.hs

#!/usr/bin/env runhaskell

import System.Environment   (getArgs)
import System.FilePath      (replaceExtension)
import Data.Char            (isSpace)
import Data.List            (isPrefixOf)

main     = getArgs >>= mapM txFile 

txFile f = (putStrLn . unlines . map txLine . lines) =<< readFile f

txLine l 
  | pfx `isPrefixOf` l = pfx
  | otherwise          = l
  where
    pfx                = "\\begin{code}"