Visible dependent quantification (#16326) changes (10581277) · Commits · Bartłomiej Cieślar / haddock · GitLab

Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

H

haddock
- Activity
- Members
- Labels
- Environments
- Terraform modules
- Model experiments

Snippets Groups Projects

10581277

Commit 10581277 authored 6 years ago by Ryan Scott

Downloads
- Patches
- Plain Diff

Visible dependent quantification (#16326) changes

parent 0438f0ac

No related branches found

No related tags found

No related merge requests found

Changes 9

Hide whitespace changes

Inline Side-by-side

Showing

haddock-api/src/Haddock/Backends/HaddockDB.hs 10 additions, 5 deletions

haddock-api/src/Haddock/Backends/HaddockDB.hs
haddock-api/src/Haddock/Backends/Hoogle.hs 1 addition, 1 deletion

haddock-api/src/Haddock/Backends/Hoogle.hs
haddock-api/src/Haddock/Backends/LaTeX.hs 12 additions, 4 deletions

haddock-api/src/Haddock/Backends/LaTeX.hs
haddock-api/src/Haddock/Backends/Xhtml/Decl.hs 24 additions, 15 deletions

haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
haddock-api/src/Haddock/Convert.hs 19 additions, 14 deletions

haddock-api/src/Haddock/Convert.hs
haddock-api/src/Haddock/GhcUtils.hs 6 additions, 5 deletions

haddock-api/src/Haddock/GhcUtils.hs
haddock-api/src/Haddock/Interface/Rename.hs 3 additions, 2 deletions

haddock-api/src/Haddock/Interface/Rename.hs
haddock-api/src/Haddock/Interface/Specialize.hs 3 additions, 3 deletions

haddock-api/src/Haddock/Interface/Specialize.hs
haddock-api/src/Haddock/Utils.hs 2 additions, 2 deletions

haddock-api/src/Haddock/Utils.hs

with 80 additions and 51 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment