majestic: Type-checking improvements + unifying overload resolution + simple REPL#173

Open

phantamanta44 wants to merge 8 commits intoGrammaticalFramework:majesticfrom phantamanta44:majestic

+316-43

Commits on Feb 3, 2025

Load prelude in repl
phantamanta44
committed

Commits on Feb 4, 2025

Nondeterministic overload resolution in new type checker
phantamanta44
committed

Commits on Feb 8, 2025

Fix inverted check in implicit arg app type check, disambiguate implicit args in reapply instead of tcApp
phantamanta44
committed

Commits on Feb 9, 2025

More comprehensive open term check for builtin eval
phantamanta44
committed