The primary benefit from subscribing to LWN is helping to keep us publishing, but, beyond that, subscribers get immediate access to all site content and access to a number of extra site features. Please sign up today! (more…)

coq-to-lisp - Coq to Emacs Lisp / Common Lisp Extraction... (more…)

At its core is an interpreter for Emacs Lisp, a dialect of the Lisp programming language with extensions to support text editing. (more…)

Read reviews, compare customer ratings, see screenshots, and learn more about Emacs Lisp Programming Environment (ELPE). Download Emacs Lisp Programming Environment (ELPE) for Mac OS X 10.12 or later and enjoy it on your Mac. (more…)

Pattern matching is invaluable in elisp. Lists are ubiquitous, and a small amount of pattern matching can often replace a ton of verbose list fiddling. (more…)