A Falcon programozási nyelv

Helyesség

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