Implementing a functional language with graph reduction (2021)