mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-11-14 03:14:14 +03:00
12 lines
215 B
Idris
12 lines
215 B
Idris
module Main
|
|
|
|
import System
|
|
|
|
-- necessary to find the getenv symbol
|
|
%dynamic "libm","msvcrt"
|
|
|
|
main : IO ()
|
|
main = do
|
|
printLn !(getEnv "IDRIS_REG029_NONEXISTENT_VAR")
|
|
printLn !(getEnv "IDRIS_REG029_EXISTENT_VAR")
|