getEnv package:Agda

Get the current environment