Optionally allow missing lists in yaml/json-to-dhall#1414

Merged

mergify[bot] merged 2 commits intodhall-lang:masterfrom akshaymankar:yaml-to-dhall-omittable-lists

Oct 11, 2019

+37-12

Commits on Oct 11, 2019