Closed hdevalence closed 4 years ago
This would close #37 if this were decided to be the new terminology.
Closing this PR because the naming is unsettled but making a naming change blocks other changes.
This would close #37 if this were decided to be the new terminology.