.DS_Store
.idea
*.log
tmp/
result
.idr2nix/
build/
.direnv/
target/