CLI Reference

Commands

kira run <file>

Compile and execute a Kira source file:

kira run hello.ki

kira check <file>

Type check a file without running it:

kira check hello.ki

kira build <file>

Compile a Kira file to C:

kira build hello.ki

kira build --lib <file>

Build a library for consumption by other languages:

kira build --lib mylib.ki

Produces: mylib.c, mylib.h, mylib.kl, mylib.json

See Building Libraries for details.

kira build --emit-header <file>

Generate only header and Klar interface files (no C codegen):

kira build --emit-header mylib.ki

kira build --manifest <file>

Generate only the JSON type manifest:

kira build --manifest mylib.ki

kira (no arguments)

Start the interactive REPL:

kira

See the REPL Guide for details.