The website for Verso, built
using Verso itself. The main page content is in
Site/FrontPage.lean and the HTML theme is
defined in Main.lean.
Requires elan (the Lean version manager).
lake buildlake exe generate-siteThe output is written to _site/. Serve it with a local web server to
view correctly:
cd _site && python3 -m http.serverPushing to main automatically triggers a deployment of the website.
This project uses Prettier for formatting CSS, Markdown, and YAML files.
npm install
npx prettier --check .
npx prettier --write . # to auto-fix- All
.leanfiles must start with a copyright header - PR titles must follow the commit convention:
<type>: <subject>- Allowed types:
feat,fix,doc,style,refactor,test,chore,perf
- Allowed types:
Apache 2.0 — see LICENSE.