Lower the boom on the mess in the saw-script typechecker#2157

Merged

sauclovian-g merged 22 commits intomasterfrom dholland-typechecker

Dec 17, 2024

+1,326-636

Commits on Dec 11, 2024

Typechecker (MGU.hs): move code around.
sauclovian-g
committed
Typechecker (MGU.hs): Comments, minor cleanup, and some naming reform.
sauclovian-g
committed
Typechecker (MGU.hs): move another block of code.
sauclovian-g
committed
Typechecker (MGU.hs): some more invasive internal name reform
sauclovian-g
committed
Typechecker (MGU.hs): Try to make the rattiest parts of this legible.
sauclovian-g
committed
Typechecker (MGU.hs): fix unergonomic checking of function applications
sauclovian-g
committed

Commits on Dec 12, 2024

Commits on Dec 13, 2024

Add a :tenv repl command, that's like :env but prints the typedef environment.
sauclovian-g
committed

Commits on Dec 16, 2024

Additional minor adjustments from review.
sauclovian-g
committed