diff options
| author | Sebastian Graf <sebastian.graf@kit.edu> | 2019-11-28 11:04:58 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-11-30 02:59:55 -0500 |
| commit | 3a96a0b6db6a32457ae2f91bb711c2481c767656 (patch) | |
| tree | 13ddfa512f6db6da9e90c0fd3ffda5add1d91990 /docs/users_guide/utils.py | |
| parent | d1de5c227160f555ea6d5679791388a980910c88 (diff) | |
| download | haskell-3a96a0b6db6a32457ae2f91bb711c2481c767656.tar.gz | |
Simpler Semigroup instance for InsideLam and InterestingCtxt
This mirrors the definition of `(&&)` and `(||)` now, relieving the
Simplifier of a marginal amount of pressure.
Diffstat (limited to 'docs/users_guide/utils.py')
0 files changed, 0 insertions, 0 deletions