logic-notes/.gitignore