Home

Magic is a dependently typed JVM Lisp.

It is inspired by and in many ways compatible with Clojure, however it is a completely independent language in its own right, suitable for use on a standalone basis or embedded in other JVM applications.

• Rationale
• Why Lisp
• Compilation Process
• Using Magic