HW Design: A Functional Approach - View it on GitHub