Merge cda33e400b into 84c6914a9b

feat: create Lean.gitignore

Agda.gitignore

@@ -1,2 +1,2 @@
 *.agdai
-MAlonzo/**
+**/MAlonzo/**

Lean.gitignore

@@ -0,0 +1,2 @@
+# cache and other artifacts produced by Lean's Lake build tool
+.lake/

ReactJs.gitignore

@@ -0,0 +1,51 @@
+# Logs
+logs
+*.log
+npm-debug.log*
+yarn-debug.log*
+yarn-error.log*
+pnpm-debug.log*
+
+# Dependency directories
+node_modules/
+jspm_packages/
+
+# Production build output (CRA / Vite / Next.js)
+build/
+dist/
+.next/
+out/
+
+# Local environment files
+.env
+.env.local
+.env.development.local
+.env.test.local
+.env.production.local
+
+# Editor directories and files
+.vscode/
+*.suo
+*.ntvs*
+*.njsproj
+*.sln
+*.sw?
+
+# TypeScript
+*.tsbuildinfo
+tsconfig.tsbuildinfo
+
+# Caches
+.cache/
+.temp/
+*.tmp
+*.temp
+
+# Optional: lock files (if you prefer not to commit them)
+# package-lock.json
+# yarn.lock
+# pnpm-lock.yaml
+
+# System files
+.DS_Store
+Thumbs.db

VueJs.gitignore

@@ -0,0 +1,52 @@
+# Logs
+logs
+*.log
+npm-debug.log*
+yarn-debug.log*
+yarn-error.log*
+pnpm-debug.log*
+
+# Dependency directories
+node_modules/
+jspm_packages/
+
+# Production build output (Vue CLI / Vite)
+dist/
+build/
+www/
+*.local
+
+# Local environment files
+.env
+.env.local
+.env.*.local
+
+# Vue CLI UI config
+.vue-cli-ui.json
+
+# Editor directories and files
+.vscode/
+*.suo
+*.ntvs*
+*.njsproj
+*.sln
+*.sw?
+
+# TypeScript
+*.tsbuildinfo
+tsconfig.tsbuildinfo
+
+# Caches
+.cache/
+.temp/
+*.tmp
+*.temp
+
+# Optional: lock files (if you prefer not to commit them)
+# package-lock.json
+# yarn.lock
+# pnpm-lock.yaml
+
+# System files
+.DS_Store
+Thumbs.db