*~
*.ibc
*.ttc
*.ttm

*.dSYM

/idris2boot
/runtests

/dist/idris2.c

/docs/build/

/libs/**/build
/tests/**/output
/tests/**/*.so
/tests/**/*.dylib
/tests/**/*.dll

/src/YafflePaths.idr