Code

Generic Interval Interface#206

Code

Draft

haberdashPI wants to merge 4 commits intoinvenia:masterinvenia/Intervals.jl:masterfrom haberdashPI:dfl/generic-intervalshaberdashPI/Intervals.jl:dfl/generic-intervalsCopy head branch name to clipboard

+196-58

Commits

Commits on Jul 25, 2022

• wip: thinking through generic interval interface

  haberdashPI

  committed
  2c21161

Commits on Jul 26, 2022

• revised interval-extesnion api

  haberdashPI

  committed
  5cd96b7

Commits on Jul 27, 2022

• wip api updates

  haberdashPI

  committed
  ff69371

• initial draft of interface

  haberdashPI

  committed
  21d1d29