Add check for inhabited datatypes#319

Open

joscoh wants to merge 16 commits intomainfrom

Commits on Jan 12, 2026

Add inhabited types check and termination proof
Josh Cohen
committed
Change to map, add error messages, use built-in subset function
Josh Cohen
committed
Add tests, fix cyclic bug, clean up code and comments
Josh Cohen
committed
Remove unneeded lemmas, change to foldl, improve comments
Josh Cohen
committed
Minor formatting fixes
Josh Cohen
committed
Merge branch 'main' into josh/inhabited
Josh Cohen
committed
Merge branch 'main' into josh/inhabited
Josh Cohen
committed

Commits on Jan 13, 2026

Merge branch 'main' into josh/inhabited
Josh Cohen
committed
Merge branch 'main' into josh/inhabited
Josh Cohen
committed

Commits on Jan 14, 2026

Commits on Jan 21, 2026

Merge branch 'main' into josh/inhabited
Josh Cohen
committed
Merge branch 'main' into josh/inhabited
joscoh
authored

Commits on Jan 22, 2026

Address review comments
Josh Cohen
committed

Commits on Jan 23, 2026

Merge branch 'main' into josh/inhabited
Josh Cohen
committed