Parsers for various configuration files written in Idris.