baronunread@baronunread · Sep 21Leanest diffs a PR against main, asks one semantic judgment per spec and runs only the tests it cannot rule out. Andrea Bruno added Laya and classifier.dev as backends next to Jev.
