GitHub repository: kejace/dada
Description: A recursion scheme library for Dhall.