Skip to content
GitLab
Explore
Sign in
Register
Check for puns (see
ghc#23368
)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Vladislav Zavialov
requested to merge
wip/int-index/check-puns
into
ghc-head
Jun 30, 2023
Overview
6
Commits
3
Pipelines
0
Changes
6
Expand
Update the HTML backend to respect list and tuple puns.
Before
After
Merge request reports