*~
*.ibc

idris2
runtests

libs/**/build
tests/**/output

src/YafflePaths.idr