diff options
author | Baldur Blöndal <baldurpet@gmail.com> | 2020-05-08 02:43:54 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-13 20:06:06 -0400 |
commit | df021fb15bcef313f30e772997bcb263c8f34078 (patch) | |
tree | 93b59cb52e142c9f9bbe35d38d6051f31cdf80ca /docs/users_guide/conf.py | |
parent | b17574f74173d0fa83b0def070dcba51b710be2e (diff) | |
download | haskell-df021fb15bcef313f30e772997bcb263c8f34078.tar.gz |
Document (->) using inferred quantification for its runtime representations.
Fixes #18142.
Diffstat (limited to 'docs/users_guide/conf.py')
0 files changed, 0 insertions, 0 deletions