A FALSE programozási nyelv

Helyesség

A nyelvben nincs helyesség bizonyítást támogató nyelvi elem.