Code

Add basic assume support.#66

Code

Open

pearu wants to merge 2 commits intomainpearu/functional_algorithms:mainfrom pearu/assumepearu/functional_algorithms:pearu/assumeCopy head branch name to clipboard

+1,495-44

Commits

Commits on Oct 14, 2024

• Add basic assume support.

  pearu

  committed
  26128fc

Commits on Oct 19, 2024

• Revise the assumptions system.

  pearu

  committed
  6b4a1f0