// Language

Convex Lisp

A powerful, expressive functional programming language based on the lambda calculus. Code is data, compilation happens on-chain, and the full power of Lisp is available to both humans and agents.

FunctionalParadigm
On-ChainCompilation
✓Code = Data
convex lisp
;; Transfer 1 CVM to another account
(transfer #42 1000000000)

;; Define a pure function
(defn greet [name]
  (str "Hello, " name "!"))

;; Query a fungible token balance
(@convex.fungible/balance #128 *address*)

Try it live

Write and execute Convex Lisp in the interactive sandbox.

Open SandboxDeveloper Overview

Documentation & References

CAD — Convex LispLanguage specification and referenceConvex Lisp TutorialLearn the language step by stepCAD — CVM ExecutionHow code executes on the CVM