Skip to content

Main Navigation

Home
(emacs)
- *Info*
  (intro)
  (manual)
- *Help*
  (describe-function)
  (describe-variable)
  (describe-face)

Appearance

Sidebar Navigation

Top

What is Symex?

A Note on the Name
Symex is a Friend to All
Comparison with Similar Packages
- Evil
  Lispy
  Paredit
  Tree-Edit
  Combobulate
  Smartparens
  Evil Cleverparens
  Parinfer

Installation and Setup

Installing Symex
Instructions for Other Package Managers
- Package.el
  Straight.el
  Elpaca
  Quelpa
  Elacarte
Symex and Evil
Symex and Rigpa
Languages Supported
- Lisp
  Tree-Sitter
  Using Symex with Clojure
Upgrading from Symex v1 to v2
- Which Packages Should I Install?
  Which Parts of My Configuration are Still Valid?
  Where Should I Put My Customizations?
  What if I’m Directly Using Symex Mode Hooks?
  About Symex Minor Modes

Getting Started

Moving Around
Transforming Code
- Modifying Existing Code
  Inserting New Code
Learning More

Features

Point-Free Modal Editing
Getting Around
Editing Features
- Structural features
  Macros and Repetition
IDE Features

Customizing Symex

Up and Down
Branch Memory
Highlighting
Point Placement on Entry
Auto-Indenting
Balancing Parentheses
Quoting Styles
Look and Feel
Custom Keybindings

Squirrel on a Speedrun - Tips and Tricks

Escaping to Symex Instead of Normal State
Macros
Mode Line Enhancements
Easy Entry Into Symex Mode
Making Parentheses Convenient

The Symex DSL

Usage
Language
- move
  maneuver
  venture
  protocol
  detour
  decision
  circuit
  loop
  precaution
  delete
  paste
  effect
  Lambdas
  Predicates
Evaluation Model
Expressive Power
Full DSL Code Example
Debugging
- Directly Evaluating Expressions
  Using a REPL
  Using a Debugger (EDebug)
  Troubleshooting
  Print Statements and Asserts
  Minimizing Complexity
  Gotchas

Keybinding Cheat Sheet

Movement
Editing
IDE

Contributing to Symex

Bugs or Features
- Reporting Bugs
  Suggesting Features
Contributing Money
Symex Follows Attribution Based Economics
Non-Ownership

Community

Resources

Symex Origins

Concept Index

On this page

Non-Ownership

This work is not owned by anyone. Please see the Declaration of Non-Ownership.

Pager

Previous pageSymex Follows Attribution Based Economics

Next pageCommunity

Docs

Emacs
Elisp
Gallery
Elisp Docs

Sites

GNU
Org Mode
FSF

More

Other Manuals
Q & A
License(s)
Codeberg