Creates a temporary file, writes some stuff, and returns the filepath
ModuleAgda-2.8.0.2Haskell2010
Agda.Utils.IO.TempFile
Common syntax highlighting functions for Emacs and JSON
Synopsis
- value writeToTempFile
- PackageAgda-2.8.0.2
- Exports1
- LanguageHaskell2010
- LicenceMIT
- SourceTempFile.hs