Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Apr 8, 2026

• Fix semtex site: unwrap \newmath, convert refs to hyperlinks, re-enable CI

  Show description for 74f39e6
  

  tmainiero

  and

  claude

  committed
  74f39e6

  Copy full SHA for 74f39e6

• Revert CI docs to build.sh (semtex site not ready yet)

  Show description for 8fe2521
  

  tmainiero

  and

  claude

  committed
  8fe2521

  Copy full SHA for 8fe2521

• Fix semtex site: use pandoc template, CSS, MathML, proper layout

  Show description for abb17e0
  

  tmainiero

  and

  claude

  committed
  abb17e0

  Copy full SHA for abb17e0

• Switch CI docs to semtex site (TeX specs as single source)

  Show description for a7fdf2b
  

  tmainiero

  and

  claude

  committed
  a7fdf2b

  Copy full SHA for a7fdf2b

• Semtex v2: atom-level tracking, UIDs, symbol inference, site generation

  Show description for 9ed2369
  

  tmainiero

  and

  claude

  committed
  9ed2369

  Copy full SHA for 9ed2369

• Add Nix store caching to docs CI workflow

  Show description for bc8d12b
  

  tmainiero

  and

  claude

  committed
  bc8d12b

  Copy full SHA for bc8d12b

• Use lean docs devShell in CI with semtex + pandoc + graphviz

  Show description for a28cb16
  

  tmainiero

  and

  claude

  committed
  a28cb16

  Copy full SHA for a28cb16

• Fix docs workflow: use apt pandoc instead of full nix dev shell

  Show description for 7c5f181
  

  tmainiero

  and

  claude

  committed
  7c5f181

  Copy full SHA for 7c5f181

• Merge Phase 1b: Monoidal categories + Julia track

  Show description for f64bdac
  

  stultiloquator

  and

  claude

  committed
  f64bdac

  Copy full SHA for f64bdac

• Add GitHub Actions workflow for docs deployment to Pages

  Show description for a011fc9
  

  stultiloquator

  and

  claude

  committed
  a011fc9

  Copy full SHA for a011fc9

• Remove .claude/ from tracking, add to .gitignore

  Show description for 957bbdd
  

  stultiloquator

  and

  claude

  committed
  957bbdd

  Copy full SHA for 957bbdd

• Add Julia sections to all 10 documentation pages

  Show description for 1d0c5d7
  

  stultiloquator

  and

  claude

  committed
  1d0c5d7

  Copy full SHA for 1d0c5d7

• Add Julia track with GATlab.jl (Phase 1a+1b, 102 tests)

  Show description for 7f72110
  

  stultiloquator

  and

  claude

  committed
  7f72110

  Copy full SHA for 7f72110

• Refactor NatIso to wrap NatTrans, add tower accessors, document policy

  Show description for 4b011fa
  

  stultiloquator

  and

  claude

  committed
  4b011fa

  Copy full SHA for 4b011fa

• Add doc site pages for all Phase 1b concepts

  Show description for afac86d
  

  stultiloquator

  and

  claude

  committed
  afac86d

  Copy full SHA for afac86d

• Fix missing references and cross-language consistency

  Show description for 417a858
  

  stultiloquator

  and

  claude

  committed
  417a858

  Copy full SHA for 417a858

• Prune dead promoted-pair code, deduplicate test fixtures

  Show description for fed3211
  

  stultiloquator

  and

  claude

  committed
  fed3211

  Copy full SHA for fed3211

• Add monoidal examples, register all Phase 1b modules (Wave 3)

  Show description for 23b7efa
  

  stultiloquator

  and

  claude

  committed
  23b7efa

  Copy full SHA for 23b7efa

• Add braided and symmetric monoidal categories (Wave 2)

  Show description for 7ecd5a5
  

  stultiloquator

  and

  claude

  committed
  7ecd5a5

  Copy full SHA for 7ecd5a5

• Add monoidal category with full coherence (Wave 1)

  Show description for 2eb7e18
  

  stultiloquator

  and

  claude

  committed
  2eb7e18

  Copy full SHA for 2eb7e18

• Add bifunctor as functor from product category (Wave 0C)

  Show description for 9d1e849
  

  stultiloquator

  and

  claude

  committed
  9d1e849

  Copy full SHA for 9d1e849

• Add natural isomorphism, product category, Hask caveat (Wave 0A/0B/0D)

  Show description for 6cad343
  

  stultiloquator

  and

  claude

  committed
  6cad343

  Copy full SHA for 6cad343

Commits on Mar 31, 2026

• Replace texliveFull with minimal texlive (~10x smaller)

  Show description for 13d400b
  

  stultiloquator

  and

  claude

  committed
  13d400b

  Copy full SHA for 13d400b

• Add concept graph to docs, graphviz to flake

  Show description for 3de77f3
  

  stultiloquator

  and

  claude

  committed
  3de77f3

  Copy full SHA for 3de77f3

• Add graph subcommand to semtex (DOT output)

  Show description for 3bb2d83
  

  stultiloquator

  and

  claude

  committed
  3bb2d83

  Copy full SHA for 3bb2d83

• Fix nix flake checks for Haskell semtex

  Show description for 3072331
  

  stultiloquator

  and

  claude

  committed
  3072331

  Copy full SHA for 3072331

• Port semtex from Python to Haskell (megaparsec)

  Show description for 0248749
  

  stultiloquator

  and

  claude

  committed
  0248749

  Copy full SHA for 0248749

• Docs cleanup: source links, tag fixes, build tracker update

  Show description for 01b8f33
  

  stultiloquator

  and

  claude

  committed
  01b8f33

  Copy full SHA for 01b8f33

Commits on Mar 30, 2026

• Fix Stacks tag in Agda Opposite (001C -> 001M)

  Show description for 09ab56e
  

  stultiloquator

  and

  claude

  committed
  09ab56e

  Copy full SHA for 09ab56e

• Fix all Stacks Project tags to correct definitions

  Show description for 02d37a8
  

  stultiloquator

  and

  claude

  committed
  02d37a8

  Copy full SHA for 02d37a8

• Add \op macro to preamble, fix rendering in docs

  Show description for 3e352b0
  

  stultiloquator

  and

  claude

  committed
  3e352b0

  Copy full SHA for 3e352b0

• Merge feature/semtex-preprocessor

  Show description for 5ac77ef
  

  stultiloquator

  and

  claude

  committed
  5ac77ef

  Copy full SHA for 5ac77ef

• Integrate semtex with doc site, auto-sync MathJax macros (Phase C)

  Show description for d61584a
  

  stultiloquator

  and

  claude

  committed
  d61584a

  Copy full SHA for d61584a

• Migrate all specs to semtex, add merge/validate + flake check (Phase B)

  Show description for c6af640
  

  stultiloquator

  and

  claude

  committed
  c6af640

  Copy full SHA for c6af640

• Add semtex preprocessor and overhaul TeX preamble (Phase A)

  Show description for ee69461
  

  stultiloquator

  and

  claude

  committed
  ee69461

  Copy full SHA for ee69461