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.