.git
.DS_Store

# Idris
build/