for file in $(find -type f -name "*.dhall"); do
pushd $(dirname $file);
cat $(basename $file) | dhall --explain resolve > /dev/null;
for file in $(find -type f -name "*.dhall"); do
pushd $(dirname $file);
cat $(basename $file) | dhall --explain resolve > /dev/null;