A Kite programozási nyelv

Helyesség



A nyelv jelenleg nem támogatja a helyességbizonyítást.