flang 0.7.13

Объект доказательства: двоичный печатает переигрываемый след для семей тождества, независимый сверщик проигрывает его, ядру не веря (первый сквозной прогон зелёный). Язык пока НЕ формально доказуем — калькулятор perepiskoy в чекере на месте (см. docs/releases/0.7.13.md, честный статус гейтов Г1–Г7).

Архив C99: собирается одним make, Node не нужен. Или brew install digitable-lol/tap/flang.