Notes while reading Leaf-0.3 code