Lispex manual

(Lispex)

( parens are punctuation, recursion is rhyme )

A small Lisp for decision rules. Same input, same answer, and a receipt you can check.

Plate I

Code is data, printed plainly.

LISPEX

(define program '(+ 1 2 3))
(eval program)

Form factorial

LISPEX

(define (factorial n)
  (if (= n 0)
      1
      (* n (factorial (- n 1)))))

(factorial 5)

Datum quoted form

LISPEX

(define form
  '(map (lambda (n) (* n 10))
        '(1 2 3 4)))

form

Lispex runs directly — a reference interpreter, compiled to WebAssembly, evaluates it right in your browser.

CSK Reference

Every decision leaves a receipt.

Since v1.3, a checked subset of Lispex is the source language for CSK Reference. It is the part of the language where every answer can be checked again.

Write a small decision rule and pin the input it runs on. Evaluation leaves a receipt, a single portable file, csk.differential-receipt/v0. lispex verify checks that receipt offline, byte for byte, with no network and no services. And when the rule changes, lispex replay runs the whole decision corpus against the previous version and shows exactly which answers moved. The promise is deliberately narrow: it covers the checked subset, not everything Lispex can run.

Open the manual

생각의 원형을 담는 언어.

The language that captures the shape of thought.

Язык, воплощающий форму мысли.