Added tabulate+<#2190

Merged

MatthewDaggitt merged 3 commits intoagda:masterfrom

guilhermehas:allPairs-tabulate

Dec 14, 2023

Commits on Oct 31, 2023

added tabulate+<
guialvares
committed

Commits on Nov 2, 2023

renamed tabulate function
guialvares
committed

Commits on Dec 14, 2023

Merge branch 'master' into allPairs-tabulate
MatthewDaggitt
authored