.DS_Store
target
Cargo.lock

.idea/
.vscode/

*.aux
*.bbl
*.bcf
*.blg
*.fdb_latexmk
*.fls
*.log
*.out
*.pdf
*.run.xml

.bsp/
.metals/
.scala-build/
