Idris2Doc : Pack.Config.TOML

Pack.Config.TOML

(source)

Definitions

initToml : String->String
  Initial content of an auto-generated `PACK_USER_DIR/pack.toml` file.

Totality: total
Visibility: export