| Type | |
| Designers | Guy Steele • Gerald Jay Sussman |
| Influences | |
| Inspired by | |
| Applications | Formal methods • Proof verification • Education |
| Developed by | Laboratory for Computer Science (Massachusetts Institute of Technology) |
| Design paradigms | Functional programming • Logic programming |
| First appearance | 1970s |
| Notable features | Non-Turing complete • Macro-less • Minimalist syntax with no parentheses |
