dansimau/hal documentation