I’ve been building a small Scheme interpreter as a learning project, mainly to understand continuations and core Scheme semantics. It supports mutable pairs and call/cc, and is intentionally minimal rather than production-ready. equal? is allowed to diverge on cyclic structures.