balls
balls copied to clipboard
display basic configuration information
Ideally, we would provide a delta between default configuration and current configuration.
This is simpler than it may sound; there are only a couple fields of ConfigRef that we care about. We can change to the directory holding the compiler and load the configs in order to get a "clean" configuration. Not sure we can read the ConfigRef for the current compilation easily, but that would be ideal. Else, we have code to load it in nimph and dust.