Gdzie szukać reguł języka

Lang objaśnia użycie narzędzi. Specyfikacja jest osobnym punktem odniesienia dla dokładnych reguł.

Nie utrzymujemy drugiej referencji normatywnej. Ograniczenia kontraktu, implementacji i dowodów są rozdzielone w specyfikacji.

Dokładne reguły i ograniczenia