Add support for \cases
See merge request ghc!7873 (closed)
Merge request reports
Activity
mentioned in merge request ghc!7873 (closed)
added 2 commits
Please register or sign in to reply
See merge request ghc!7873 (closed)
mentioned in merge request ghc!7873 (closed)
added 2 commits
merged