# Lean / Lake build artifacts
/.lake/
/build/
**/*.olean
**/*.ilean
**/*.hash
**/*.trace
lakefile.olean

# OS / editor cruft
.DS_Store
Thumbs.db
*~
