count-agda-files-and-lines

#!/bin/bash

root_dir=$(git rev-parse --show-toplevel)

git ls-files $root_dir/source | grep agda | wc -l
git ls-files $root_dir/source | grep agda | xargs cat | wc -l