Documentation

Get the path to ~/.agda (system-specific). Can be overwritten by the AGDA_DIR environment variable.

(This is not to be confused with the directory getDataDir for the data files that Mikan needs (e.g. the primitive modules).)

This overrides the getDataDir from 'Paths_Mikan'. See the documentation for the --print-data-dir flag.

This overrides the getDataFileName from 'Paths_Mikan'.

False: Check whether we need to set up Mikan. This function can be called when starting up Mikan.

True: force a setup e.g. when passing the option --setup.

Copies the embedded data files to the designated data directory.