You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
[spec] Missing hyperlink for .refs in table.set reduction rule prose #2039
In section "4 Execution > 4.6 Instructions > 4.6.7 Table Instructions > table.set", step 7 of the prose is missing a hyperlink for the refs attribute in z.tables[x].refs[i].
The problem might lie in the prose backend, check out #2032 (comment) for more context:
The problem of the missing hyperlink in the prose lies a bit deeper, and has to do with the prose hints on the various $with_* functions. There is something missing in the expression that the prose backend generates from the hint, perhaps the right type info on the atom or missing macro context. @f52985, do you perhaps have an idea?
Activity