# excludes:
# - oldlib
# - misc
# - any directories named "scraps" or "in-progress";
# things from these directories should not be imported by anything else!

#!/bin/bash

find . -name "*.agda" | grep -v "oldlib" | xargs grep postulate | grep -v "misc" | grep -v "HoTT Axiom" | grep -v "Agda Primitive"  | grep -v "scraps" | grep -v "in-progress"