Nyelvek listája
Kezdő oldal
Bevezetés
Nyelvi elemek
Jelkészlet
Azonosítók
Literálok
Megjegyzések
Típusok, típuskonstrukciók
Típusszerkezet
Elemi típusok
Típuskonstrukciók
Típuskonverziók
Változók, konstansok
Kind-ok
Utasítások, vezérlési szerkezetek
Értékadás, üres utasítás
Szekvencia
Elágazás
Ciklus
Vezérlésátadó utasítások
Játékos parancsok használata
Alprogramok, modulok
Absztrakt adattípusok
Sablonok
Kivételkezelés
Objektum-orientált programozás
Helyesség
Párhuzamosság
Szabványos könyvtárak
Fordítók
További információk
Könyvek angol nyelven
Környezetek futtatáshoz
Gyakori parancsok
Játék menete
Példaprogramok
Escape 101
Készítők
Majoros Dániel
Az Inform 7 programozási nyelv
Helyesség
Helyesség
Az Inform 7 nem támogat helyességbizonyítási eszközöket.