Export to JSON files
An export option like --json
for JSON files would be very handy for some use cases (e.g. autocomplete providers such as autocomplete-curry). A sample file of a JSON output for the Prelude
can be found here. Please note that the syntax of the JSON output is just a first draft.
With this option the interface of modules can be more easily provided to other programs.
Edited by Jan-Hendrik Matthes