Skip to content

[fixes #2178] regularise and specify/systematise, the conventions for symbol usage#2185

Merged
MatthewDaggitt merged 2 commits into
agda:masterfrom
jamesmckinna:issue2178
Nov 1, 2023
Merged

[fixes #2178] regularise and specify/systematise, the conventions for symbol usage#2185
MatthewDaggitt merged 2 commits into
agda:masterfrom
jamesmckinna:issue2178

typos/revisions

855c785
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs