Lispex manual

(Lispex)

( parens are punctuation, recursion is rhyme )

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

Plate I

Code is data, printed plainly.

LISPEX

(define program '(+ 1 2 3))
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 without a server. A reference interpreter, compiled to WebAssembly, evaluates code right in your browser.

Lispex Vouch

Every decision can keep a receipt.

Lispex Vouch began in v1.3. In v1.4, the refreshed runtime path broadens the Playground, npm, and native agreement surface for decision rules and multiple values.

Write a small decision rule and pin the input it runs on. In the Vouch workflow, the recorded answer is tied to a portable receipt file, csk.differential-receipt/v0. lispex verify checks the receipt and its hashes offline, with no network and no services. And when the rule changes, lispex replay compares the committed corpus with recorded receipts or a version pin and shows which answers moved. The promise is deliberately narrow. It covers the checked subset, not everything Lispex can run.

Read about Lispex Vouch

생각의 원형을 담는 언어.

The language that captures the shape of thought.

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