Skip to content

Export (~) from Data.Type.Equality (#18862)

Vladislav Zavialov requested to merge wip/eqtycon-rn into master

Export (~) from Data.Type.Equality (#18862 (closed))

  • Users can define their own (~) type operator
  • Haddock can display documentation for the built-in (~)

Implements GHC Proposal #371

Edited by Vladislav Zavialov

Merge request reports