Comment by tfinch

also this is probably a nicer intro https://dhall-lang.org/