 Eve
|
b29ec2a47a
|
Option evaluation + basic repl support for option manipulation
|
2025-03-31 17:56:36 +02:00 |
|
|
Eve
|
8bd0d13dd6
|
Port builtin improvements to new evaluator + opt parsing
|
2025-03-31 17:54:06 +02:00 |
|
|
Eve
|
3de005f11c
|
Replace open term check for predefs with canonical term check
|
2025-03-31 17:54:06 +02:00 |
|
|
Eve
|
223604526e
|
Better predef evaluation semantics, avoid value2term
|
2025-03-31 17:54:06 +02:00 |
|
|
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 |
|