Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
executable file 11 lines (7 sloc) 349 Bytes
# excludes:
# - oldlib
# - misc
# - any directories named "scraps" or "in-progress";
# things from these directories should not be imported by anything else!
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"
Jump to Line
Something went wrong with that request. Please try again.