Add Documenter site, polished docstrings, doctests, and benchmark write‑ups #2

	name: Documentation

	on:
	push:
	branches:
	- master
	tags: '*'
	pull_request:

	jobs:
	build:
	permissions:
	actions: write
	contents: write
	pull-requests: read
	statuses: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: julia-actions/setup-julia@v2
	with:
	version: '1'
	- uses: julia-actions/cache@v2
	- name: Install dependencies
	shell: julia --color=yes --project=docs {0}
	run: \|
	using Pkg
	for pkg in ["GrothAlgebra", "GrothCurves", "GrothProofs"]
	Pkg.develop(path=joinpath(pwd(), pkg))
	end
	Pkg.instantiate()
	- name: Build and deploy
	run: julia --color=yes --project=docs docs/make.jl
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}

Provide feedback