Mercury #
Mercury is an environment for developing Helios drivers in Hare. It provides something resembling a stripped down version of the Hare standard library with sufficient support features to facilitate driver development.
Getting Mercury #
The Mercury source code is available on SourceHut. Instructions for building and installing the driver development environment are provided in the repository.
Mercury library documentation #
Documentation for the Mercury Hare libraries is available via haredoc. You can browse it from your terminal once the Mercury environment is activated, or you can browse it online.