Online Lambda Calculus editor

Lambdo is feature packed.

• Parsing & reduction of Lambda Calculus expressionsions
• Save expressions by name to your environment with the := operator.
• Optional standard environment with support for numerous functions
• "As known as" recognition for values that have been previosly defined in your environment

To use a tool, simply drag it onto a line.

Press the close button to close a tool.

Inputs the first 10 integers as church numerals, and plots the output along the y-axis.

Keep in mind, the graph is computationally expensive, especially with large functions.

Visualize Lambda Calculus with the tree.

A realistic-looking seven segment display.

Works with church numerals.

A minimum of three digits will be shown, with additional digits available as needed.

Visualize boolean values.

Lambdo includes some very basic challenges to introduce users to Lambda Calculus.

Lambdo supports printing programs.

Print your program as editable to import it back later:

Use a document scanner for best results. Requires a Gemini API key to import a document.

Save up to 15 programs to your account.

Mark your programs as public to share them to others!

Built using Svelte & SvelteKiteKit.

Appwrite for accounts & database.ase.

1. Setup Appwrite (either cloud or self hosted)
   1. Modify appwrite.config.json with your project ID & endpointoint
   2. Use the Appwrite CLI to push to your server
2. Fill .env.example and renamed to .env
3. Generate types with npm run types
   1. This is only required if you changed the database structure
   2. The latests types are already included in the repository
4. Build with npm run build

See Svelte Adapters for deployment.