11 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Eve	19c5b410f2	Predef combinators	2025-02-21 15:25:25 +01:00
Eve	815dfcc2fc	Unification for function types	2025-02-15 23:07:29 +01:00
Eve	265db698ac	Dereference metavariables in types before structural inspections	2025-02-15 22:27:06 +01:00
Eve	b4b9974d54	More comprehensive open term check for builtin eval	2025-02-09 16:53:03 +01:00
Eve	80de452e6d	Fix inverted check in implicit arg app type check, disambiguate implicit args in reapply instead of tcApp	2025-02-08 10:23:23 +01:00
Eve	4750ccfb7e	Nondeterministic overload resolution in new type checker	2025-02-04 14:14:16 +01:00
Eve	41cdf5e56a	Load prelude in repl	2025-02-03 09:54:13 +01:00
Eve	8290f79f52	Rudimentary resource REPL in gf-compiler	2025-01-26 09:13:24 +01:00
Eve	3b58ccbeef	Don't evaluate builtins with free variables as arguments	2025-01-26 01:14:25 +01:00
Eve	d9ed763ace	Fix tcApp on pi types, split check/infer into variants inside and outside EvalM	2025-01-26 01:13:58 +01:00
Eve	1747b46274	Add alex/happy as build tool dependencies, bump up unix version in gf-compiler	2025-01-26 01:12:29 +01:00