.. _ref-sect-envvars:

*********************
Environment Variables
*********************

[TODO: Fill in the environment variables recognised by Idris 2]