diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-09-20 23:31:00 -0700 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-11-22 16:07:00 -0500 |
commit | a1bbb56f40b679f4841f0b044c0f5445ff6d3c5b (patch) | |
tree | 3d45011584fa680ef71c0f468dd3275acaed94f0 /libraries/base/Data/Type/Equality.hs | |
parent | 9f3e22b9eb2e67323f965b652c37fdd73628b007 (diff) | |
download | haskell-a1bbb56f40b679f4841f0b044c0f5445ff6d3c5b.tar.gz |
Doc-only fixes
* laws are capitalized definition lists, no emphasis on the labels
* adds missing hyperlinks
* fixes other misc. Haddock markup issues.
Diffstat (limited to 'libraries/base/Data/Type/Equality.hs')
-rw-r--r-- | libraries/base/Data/Type/Equality.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libraries/base/Data/Type/Equality.hs b/libraries/base/Data/Type/Equality.hs index dfdf23b5f0..f9c9cc23da 100644 --- a/libraries/base/Data/Type/Equality.hs +++ b/libraries/base/Data/Type/Equality.hs @@ -23,8 +23,8 @@ -- Stability : experimental -- Portability : not portable -- --- Definition of propositional equality @(:~:)@. Pattern-matching on a variable --- of type @(a :~: b)@ produces a proof that @a ~ b@. +-- Definition of propositional equality @(':~:')@. Pattern-matching on a variable +-- of type @(a ':~:' b)@ produces a proof that @a '~' b@. -- -- @since 4.7.0.0 ----------------------------------------------------------------------------- |