i++

A tiny, terrible language in the Iota/Jot family.

Parser, interpreter, and lambda-calculus evaluator for the SKI combinator calculus — with a WASM-backed web REPL.

Open the REPL View source

What is it?

i++ is an exercise in minimalism: every term is built from a single universal combinator i and function application. From that foundation you can recover the classic S, K, and I combinators, derive boolean logic, encode arithmetic, and explore the boundary between syntax and semantics.

Features

  • Universal iota combinator as the only primitive
  • Standard combinator prelude (I, K, S, B, C, T, M, …)
  • Elementary math library via EML — exponentials, logarithms, complex numbers
  • Switch between lambda notation and raw combinator output
  • Runs in the browser as a compact WASM module
  • Native CLI REPL for quick experiments

Quick example

import Combinators
S K K x
# ⇒ x

Background

The language is rooted in Iota and Jot and borrows its elementary math primitives from EML — All elementary functions from a single binary operator (Odrzywołek).