As part of my Google Summer of Code 2020 project, I developed over the past 4 months dhall-docs: a Documentation Generator for the Dhall Configuration Language. Today, my last work on it has been released and it includes the following features:
- It generates HTML documentation from a folder with dhall files (what I call a dhall package) by extracting the file header comment;
- You can write your documentation comments using markdown
- It renders the source code with the following features:
- Jump-to-definition on:
- Remote and relative imports
- Let-bindings
- Record types and literals field names
- Selector-expressions access.
- Lambda arguments
- Renders the assertions found in a dedicated section
- On each index.html page you can see the type of each file there.
- Jump-to-definition on:
All type information is extracted from source code i.e. dhall-docs doesn’t do normalization and import resolution: it collects all information statically. For a detailed explanation of my work, see this post. For a demo of the tool, see the documentation generated from the Dhall Prelude.
I hope that this tool will make the dhall ecosystem grow even more. It was a lovely experience to build this tool and to collaborate with some of you 
Thanks to @Gabriel439, @sjakobi and @Profpatsch for being my mentors, and to everybody that helped me reporting and fixing bugs as well suggesting new features.
I want to keep contributing to the tool, so I’ll use this thread for announcing future releases.
