diff options
author | Andrew Cady <d@jerkface.net> | 2019-07-08 18:01:49 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2019-07-08 18:01:49 -0400 |
commit | e7373bc2114179db99dd53009b11c1c3b96c7d8e (patch) | |
tree | efa488e7dfb2c940b1f48d0c923b612ff3626e64 /lib/Numeric/Interval/Bounded.hs | |
parent | 0efeea061f1aaad7ee60162f0502c4e445489d3b (diff) |
use a type for outgoing_names
Diffstat (limited to 'lib/Numeric/Interval/Bounded.hs')
0 files changed, 0 insertions, 0 deletions