Dev on hax

This chapter contains information about internals of hax.

Please read the CONTRIBUTING.md before opening a pull request.