CLI Reference

ifa run <file>

Execute an Ifá program file.

ifa run hello.ifa
ifa run examples/crypto.ifa --verbose

ifa repl

Start interactive REPL (Read-Eval-Print Loop).

ifa repl
>>> ayanmo x = 42;
>>> Irosu.fo(x * 2);
84

ifa check <file>

Type-check and lint a file without running it.

ifa check myprogram.ifa

ifa babalawo <file>

Run the Babalawo linter with proverb-based error messages.

ifa babalawo myprogram.ifa --strict

ifa compile <file>

Compile to bytecode.

ifa compile main.ifa -o main.ifab

ifa fmt <file>

Format source code.

ifa fmt src/*.ifa --check  # Check without modifying
ifa fmt src/*.ifa          # Format in place

ifa new <name>

Create a new Ifá project.

ifa new my-project
cd my-project
ifa run src/main.ifa

ifa test

Run tests in the current project.

ifa test
ifa test --filter crypto

ifa --version

Show version information.

ifa --version
# Ifá-Lang v1.2.2

ifa --help

Show all available commands and options.