This repository has been archived by the owner. It is now read-only.
Parsers for various configuration files written in Idris.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Config
.gitattributes
.gitignore
CONTRIBUTING.md
LICENSE
Makefile
README.org
config.ipkg
fetch-deps.sh

README.org

Idris Config

Parsers for various configuration file formats.

Supported formats.

  • INI
  • Properties
  • JSON
  • YAML

Feature coverage.

Please note that the parsers are not feature complete, and may break on fully featured configuration files.