stregaml
stregaml copied to clipboard
Linearity and Destructors (additionally, de/allocation)