This adds the ability to configure packages with an Inigo.dhall file.
If Inigo doesn't find an Inigo.toml file, it will check for an
Inigo.dhall file. If it finds both or neither, then it errors.
The format of the Inigo.dhall file is described in
docs/src/dhall.rst.
I don't know how sphinx documentation works so that may be very
wrong.
Possibly depends on #23, since I only tested locally with latest idris2.
This adds the ability to configure packages with an
Inigo.dhallfile. If Inigo doesn't find anInigo.tomlfile, it will check for anInigo.dhallfile. If it finds both or neither, then it errors.The format of the
Inigo.dhallfile is described indocs/src/dhall.rst.I don't know how sphinx documentation works so that may be very wrong.
Possibly depends on #23, since I only tested locally with latest idris2.