bashing things into place

Author: imaginator

.devcontainer/README.md

@@ -1,55 +1,11 @@
 {
-  "name": "Simplicity Lang Documentation",
-  "image": "mcr.microsoft.com/devcontainers/python:1-3.11-bullseye",
-  
-  // Features to add to the dev container
-  "features": {
-    "ghcr.io/devcontainers/features/git:1": {}
-  },
-
-  // Configure tool-specific properties
-  "customizations": {
-    "vscode": {
-      "settings": {
-        "python.defaultInterpreterPath": "/usr/local/bin/python",
-        "python.linting.enabled": true,
-        "python.linting.pylintEnabled": true,
-        "python.formatting.provider": "black",
-        "files.associations": {
-          "*.md": "markdown"
-        },
-        "markdown.preview.breaks": true,
-        "markdown.preview.linkify": true
-      },
-      "extensions": [
-        "ms-python.python",
-        "ms-python.pylint",
-        "ms-python.black-formatter",
-        "yzhang.markdown-all-in-one",
-        "davidanson.vscode-markdownlint",
-        "bierner.markdown-mermaid",
-        "bierner.markdown-preview-github-styles"
-      ]
-    }
-  },
-
-  // Use 'forwardPorts' to make a list of ports inside the container available locally
-  "forwardPorts": [8000],
-
-  // Use 'postCreateCommand' to run commands after the container is created
-  "postCreateCommand": "pip install -r .devcontainer/requirements.txt",
-
-  // Configure terminal
-  "remoteUser": "vscode",
-  
-  // Mount the workspace
-  "workspaceFolder": "/workspace",
-  "mounts": [
-    "source=${localWorkspaceFolder},target=/workspace,type=bind,consistency=cached"
-  ],
-
-  // Set environment variables
-  "remoteEnv": {
-    "PYTHONPATH": "/workspace"
-  }
+	"name": "Material for MkDocs - VS Code dev container",
+	"image": "mcr.microsoft.com/devcontainers/typescript-node:0-18",
+	"features": {
+		"ghcr.io/devcontainers/features/python:1": {
+			"installTools": true,
+			"version": "3.11"
+	  }
+	},
+	"postCreateCommand": "pip install -e . && pip install mkdocs-minify-plugin mkdocs-redirects && npm install && npm run build"
 }

.devcontainer/devcontainer.json

@@ -0,0 +1,2 @@
+# Enforce Unix newlines
+* text=auto eol=lf

.devcontainer/requirements.txt

@@ -0,0 +1,66 @@
+# Simplicity Documentation Site - AI Coding Assistant Instructions
+
+## Project Overview
+This is the documentation site for Simplicity, a typed functional smart contract language for Bitcoin-like blockchains. The site is built with MkDocs Material and focuses on educating developers about Simplicity's tools and implementations.
+
+## Architecture & Key Components
+
+### Documentation Structure
+- **Root site**: Built with MkDocs Material (`mkdocs.yml` at root)
+- **Content organization**: `docs/` contains markdown files with a hierarchical structure
+- **Navigation pattern**: Uses Material's tabbed navigation (`navigation.tabs`) with sections like "Getting Started", "Documentation", etc.
+- **Asset management**: Icons use Material Design icons (`:material-*:`) and Simple Icons (`:simple-*:`)
+
+### Deployment Pipeline
+- **Build command**: `python -m mkdocs build` (note: always use `python -m` prefix for reliability)
+- **Output**: Static site generated to `site/` directory
+- **Hosting**: Netlify with configuration in `netlify.toml`
+- **Dev environment**: VS Code dev container with Python 3.11 and all dependencies
+
+## Development Workflows
+
+### Local Development
+```bash
+# Install dependencies
+pip install -r requirements.txt
+
+# Serve locally with hot reload
+mkdocs serve --dev-addr=0.0.0.0:8000
+
+# Build for production
+python -m mkdocs build
+```
+
+### Content Creation Patterns
+- Use Material Design's card grids for feature showcases: `<div class="grid cards" markdown>`
+- Code examples prefer SimplicityHL (Rust-like) syntax with `rust` highlighting
+- Tools/implementations tables use Material icons in first column
+- Navigation structure follows: Getting Started → Language Docs → Tools → Community
+
+### Key Files & Dependencies
+- `requirements.txt`: Pinned MkDocs Material 9.6.18 with specific pymdown-extensions
+- `mkdocs.yml`: Extensive Material theme configuration with navigation tabs and search
+- `docs/stylesheets/extra.css`: Custom styling for hero sections and cards
+- `.devcontainer/`: VS Code development environment with Python + Node.js
+
+## Project-Specific Conventions
+
+### Content Guidelines
+- **Tool recommendations**: Always promote WebIDE for beginners, SimplicityHL for development
+- **External links**: Point to BlockstreamResearch GitHub organization for implementations
+- **Code samples**: Use SimplicityHL syntax, not core Simplicity combinators in getting-started content
+- **Navigation flow**: High-level tools → Low-level implementations progression
+
+### Markdown Extensions
+- Mermaid diagrams supported via `pymdownx.superfences` custom fences
+- YouTube embeds available through custom fence format
+- Admonitions and details/summary blocks extensively used
+- Tabbed content for multi-language examples
+
+### Icon Usage Pattern
+- `:material-lambda:` for Haskell implementation
+- `:simple-rust:` for Rust-related tools
+- `:material-web:` for WebIDE
+- `:material-tools:` for command-line tools
+- `:material-microscope:` for formal verification (Coq)
+

.gitattributes

@@ -1,2 +1,68 @@
-.cache
-site
+# MkDocs build output
+site/
+
+# Python
+__pycache__/
+*.py[cod]
+*$py.class
+*.so
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+pip-wheel-metadata/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# Virtual environments
+.env
+.venv
+env/
+venv/
+ENV/
+env.bak/
+venv.bak/
+
+# IDEs
+.vscode/settings.json
+.vscode/launch.json
+.vscode/extensions.json
+.idea/
+*.swp
+*.swo
+*~
+
+# OS generated files
+.DS_Store
+.DS_Store?
+._*
+.Spotlight-V100
+.Trashes
+ehthumbs.db
+Thumbs.db
+
+# Logs
+*.log
+
+# Temporary files
+*.tmp
+*.temp
+
+# Node modules (if using any Node.js tools)
+node_modules/
+
+# Backup files
+*.bak
+*.backup

.github/copilot-instructions.md

@@ -0,0 +1,4 @@
+## Simplicity Docs
+
+Building
+