Agda.Utils.IO.TempFile

Common syntax highlighting functions for Emacs and JSON

Documentation

writeToTempFile :: String -> IO FilePath

Creates a temporary file, writes some stuff, and returns the filepath