7 src = builtins.filterSource (path: type: baseNameOf path != ".git") ./.;
7 src = builtins.filterSource (path: type: baseNameOf path != ".git") ./.;
9 dependent-map dependent-sum mtl ref-tf semigroups these
9 dependent-map dependent-sum mtl ref-tf semigroups these