Skip to main content
Kira

REPL Guide

Start the REPL by running kira with no arguments:

kira

REPL Commands

CommandDescription
:helpShow help message
:type <expr>Show the type of an expression
:load <file>Load a .ki file
:quitExit the REPL

Usage Examples

> let x: i32 = 42
> :type x
i32
> let y: i32 = x + 8
> :type y
i32

Tips

  • The REPL is ideal for experimenting with expressions and small functions
  • Use :type to inspect types without running code
  • Use :load to bring in functions from files and then call them interactively