Enabled downcase-region
Setup path to idris interpreter