feat: Add nat hope solving#70

Draft

croyzor wants to merge 35 commits intomainfrom

just-nat-solving

Commits on Dec 18, 2024

Commits on Dec 23, 2024

Merge branch 'main' into just-holes
croyzor
authored

Commits on Jan 7, 2025

Commits on Apr 1, 2025

Merge remote-tracking branch 'origin/main' into just-nat-solving
croyzor
committed
[ broken ] troublesome examples of nat solving

Conor McBride
authored and
Conor McBride
committed
Fix demandEven
croyzor
committed
Fix recursive call in `hasfulllen`
croyzor
committed
[ minor fix ] hasfulllen needs a numeric input

Conor McBride
authored and
Conor McBride
committed
Fix the other call site that calls `invertNatVal` with a Src
croyzor
committed

Commits on Apr 2, 2025

[ progress ] factored out SolveNumbers; started numEq (to be nuked)

Conor McBride
authored and
Conor McBride
committed
[ progress ] unifyNum now used in solveHoles as well as solvePatterns, but it's coming when it should be going

Conor McBride
authored and
Conor McBride
committed
[ progress ] Fred vs Ginger now a thing.

Conor McBride
authored and
Conor McBride
committed

Commits on Apr 3, 2025

[ progress ] eatsfullbis.brat now typechecks; long way to go; messy

Conor McBride
authored and
Conor McBride
committed
Skeleton for converting valPats to Valz
croyzor
committed

Commits on Apr 4, 2025

[wip] Bug hunting
croyzor
committed
[ fix ] makePred now defines the hole to be the succ

Conor McBride
authored and
Conor McBride
committed

Commits on Apr 7, 2025

[ progress ] removed tracing

Conor McBride
authored and
Conor McBride
committed
[ progress ] no more Fred and Ginger

Conor McBride
authored and
Conor McBride
committed
Fix redefinition in make{Half,Pred}
croyzor
committed
Keep track of which hopes are dynamic
croyzor
committed
Better handling of flex-flex case when unifying numbers
croyzor
committed
Accept new golden values, regress vector errors for now
croyzor
committed