Add example workflow and .gitignore

Co-authored-by: andreasabel <1155218+andreasabel@users.noreply.github.com>

Author: Copilot

.github/workflows/example.yml

@@ -0,0 +1,39 @@
+name: Example Usage
+
+on: [push, pull_request]
+
+jobs:
+  example:
+    runs-on: ubuntu-latest
+    
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      
+      - name: Setup Agda
+        id: setup-agda
+        uses: agda/agda-setup-action@v1
+        with:
+          agda-version: '2.8.0'
+          agda-stdlib-version: '2.3'
+      
+      - name: Show Agda info
+        run: |
+          echo "Agda path: ${{ steps.setup-agda.outputs.agda-path }}"
+          echo "Agda dir: ${{ steps.setup-agda.outputs.agda-dir }}"
+          agda --version
+      
+      - name: Create a simple Agda file
+        run: |
+          cat > Example.agda << 'EOF'
+          module Example where
+          
+          open import Data.Bool
+          open import Data.Nat
+          
+          example : Bool
+          example = true
+          EOF
+      
+      - name: Type-check Agda file
+        run: agda Example.agda

.gitignore

@@ -0,0 +1,24 @@
+# Temporary files
+*.tmp
+*.temp
+/tmp/
+
+# Archive files used during testing
+*.tar.xz
+*.tar.gz
+*.zip
+
+# Agda build artifacts
+*.agdai
+_build/
+
+# OS files
+.DS_Store
+Thumbs.db
+
+# IDE files
+.vscode/
+.idea/
+*.swp
+*.swo
+*~