Brummel 1f6d2322c3 iter 22b.2.5: fix — move OverridingNonExistentMethod after UnboundConstraintTypeVar

2026-05-09 18:01:51 +02:00

..

specs

ail: embed Form-A spec in merge-prose prompt (iter 20f)

2026-05-08 23:31:27 +02:00

src

iter 22b.2.5: fix — move OverridingNonExistentMethod after UnboundConstraintTypeVar

2026-05-09 18:01:51 +02:00

tests

iter 22b.2.1: add Constraint struct, Type::Forall.constraints

2026-05-09 17:34:39 +02:00

Cargo.toml

MVP: AILang-Sprache mit JSON-AST, Typchecker, LLVM-IR-Backend

2026-05-07 10:18:32 +02:00