IntersectMBO / IntersectMBO/formal-ledger-specifications

Add a section to docs for variables and symbols

Open
#878 3 comments 0 reactions 0 assignees View on GitHub
documentation notation
Dominant language
Agda
Stars
52
Forks
20
Avg merge
6d 14h
Merged PRs (30d)
7

Description

We need a single place in the documentation where one can find all important variable names, their meanings, and name changes from one era to the next. This should probably be a table with the variable name or symbol, a very brief definition, and links to where the variable or symbol first appears.

Maybe this could be part of the Notation section (which already exists) or maybe it should go in a table in the appendix.

Contributor guide

Open the contributing guide

Research direction

Start by reviewing the existing Notation section and the appendix to determine where a consolidated reference belongs. Inventory the important variable names and symbols, their brief meanings, historical name changes, and links to where each first appears. Done means the documentation has a single, navigable table covering the relevant notation.

Written by the indexing model from the issue text.

Assessment

Domain
documentation
Issue type
Documentation
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.