Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Merge requests
!4313
Export (~) from Data.Type.Equality (
#18862
)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Vladislav Zavialov
requested to merge
wip/eqtycon-rn
into
master
Oct 18, 2020
Overview
13
Commits
1
Pipelines
3
Changes
14
Expand
Users can define their own
(~)
type operator
Haddock can display documentation for the built-in
(~)
Merge request reports