Skip to content

Improve typography, using true small capitals and microtypography#1048

Closed
dbenjaminmiller wants to merge 1 commit into
HoTT:masterfrom
dbenjaminmiller:master
Closed

Improve typography, using true small capitals and microtypography#1048
dbenjaminmiller wants to merge 1 commit into
HoTT:masterfrom
dbenjaminmiller:master

Improve typography, using true small capitals and microtypography

db5cf7c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs