KEEL LANGUAGE · kt-2.0 · .kl files
YES — Keel is a NEW house language (not Python · not C++ · not Rust source you write)
Job: fleet probe DSL · prove-before-green · HTTP doors
Run interpreter: keel hello.kl  (from compiler bundle)
Compile native:  keel compile examples/fleet_doors.kl
Read SPEC.md for grammar.
