Add atlas and 1-relation examples - #11

Merged

Joseph-Edwards merged 15 commits into

mainfrom

Aug 17, 2026

Commits on Aug 17, 2026

Ignore the site

james-d-mitchell
authored and
Joseph-Edwards
committed
c078b34
Add more atlas verifications

james-d-mitchell
authored and
Joseph-Edwards
committed
15553df
Add 1-relation examples

james-d-mitchell
authored and
Joseph-Edwards
committed
614aaf2
Add instant reloading
Joseph-Edwards
committed
2f1f45a
Use awesome nav
Joseph-Edwards
committed
658a34d
Remove nav from home page
Joseph-Edwards
committed
47ebc6a
Add acknowledgements
Joseph-Edwards
committed
851df3e
Resolve a TODO
Joseph-Edwards
committed
9f6fff5
Fix wording and navbar
Joseph-Edwards
committed
13dd912
Add common links automatically

codex
authored and
Joseph-Edwards
committed
65f5c0e
Replace non-links with links

james-d-mitchell
authored and
Joseph-Edwards
committed
fe87fe5
Add hall of fame
Joseph-Edwards
committed
14275c8
Add tabs for different code blocks
Joseph-Edwards
committed
da2ceca
Use awesome-nav in CI
Joseph-Edwards
committed
0a7e695
Fix Semigroups links
Joseph-Edwards
committed
5b69ce6