Commit 2020-01-25 23:45 d3e5621d
View on Github →feat(data/real/ereal): add ereal := [-oo,oo] (#1703)
- feat(data/real/ereal): add
ereal:= [-oo,oo] - some updates
- some cleanup in ereal
- move pattern attribute
- works
- more docstring
- don't understand why this file was broken
- more tidyup
- deducing complete lattice from type class inference
- another neg theorem
- adding some module doc
- tinkering
- deriving addition