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 arrived in v1.3. It is the receipt workflow for decision rules written inside the checked subset, where recorded artifacts can be checked offline.

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.

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