Prevents unification from introducing mroe CastDicts, CastTys, or FamilyApps.
failed 2 days ago
HasTupleComponent solving.
failed 2 days ago
Ensure constraints that are mentioned in the where clause of an impl are available to its methods.
failed 2 days ago
Adds solver for ClassGetBody.
failed 2 days ago
Adds explicit arguments to AxiomImpl and adds the definition of ClassGetBody.
failed 2 days ago
Declares EffectsCompatible builtin.
failed 3 days ago
Adds a notion of effect compatibility, HasField solving, and fixes method elaboration.
failed 3 days ago
Watch the bin and parser directories.
failed 3 days ago
Adds debug logging for evaluation.
failed 3 days ago
Split type applications and lambdas to their own expr, since they can be erased.
failed 3 days ago
Evaluator work.
failed 3 days ago
Rename Ast to Builtins, normalize opens.
failed 4 days ago
Add -I as a synonym for --srcdir, document both in --help, slightly tweak their semantics.
failed 4 days ago
More test fixes.
failed 4 days ago