Overview

This section contains the technical documentation for the Katon language.

It serves as the language reference, describing Katon’s syntax, core semantics, and verification model. The material is intended to be read as a specification rather than a tutorial.

Contents

• int
• nat
• func
• lemma
• while
• if/else
• borrowing
• update
• modifies