Index
GitHub
smoλ material
Blog posts, design notes, and PDF whitepapers about the language, its type system, and its safe low-level abstractions.
Type theory
A smoλ theory of structural and nominal typing - pdf
17 June 2025
Safe resources
Memory safety via delayed freeing - blog post
6 September 2025
Index
GitHub