Skip to content

v1.2.1: protocol-squisher.net site

Latest
Latest

Choose a tag to compare

View all tags
@hyperpolymath hyperpolymath released this 28 Feb 11:36
· 132 commits to main since this release
Immutable release. Only release title and notes can be modified.
v1.2.1
a5ce818
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

protocol-squisher.net Site

Five-tabbed static website for protocol-squisher.net, built with ddraig-ssg (Idris 2 dependently typed SSG):

Pages

  • About — Project intro, five pillars, who it's for
  • The Project — 13 analysers, architecture, formal guarantee, usage
  • Technology — IR, constraints, transport classes, ECHIDNA/VeriSimDB
  • Progress & Contact — Status, numbers, timeline, media/user contact
  • Governance & Help — License, security, data handling, accessibility, FAQ

Features

  • Tabbed navigation with active-tab CSS class highlighting
  • Responsive layout (mobile + desktop + print)
  • System font stack (no web font downloads)
  • Build script auto-locates ddraig-ssg binary
  • WCAG AA compliant contrast

ddraig-ssg Enhancements

  • Multi-page site generation with build command
  • SitePage type with slug and navOrder for tab ordering
  • {{nav}}, {{slug}}, {{tags}}, {{body_class}} template placeholders
  • File I/O via Idris 2's System.Directory.listDir
  • Draft page skipping

DNS for protocol-squisher.net pending registration.

Assets 3
Loading