ModuleAgda-2.8.0.2Haskell2010
Agda.Interaction.ExitCode
- 1 type
- 4 values
- PackageAgda-2.8.0.2
- Exports5
- LanguageHaskell2010
- LicenceMIT
- SourceExitCode.hs
Return the error corresponding to an exit code from the Agda process
The computation exitSuccess is equivalent to exitWith ExitSuccess, It terminates the program successfully.