when freeing, do ???
+# ownership
+
+```
+(let ([s "hello"]) <- s should be a linear string
+ (mkpair
+ (lambda () (print s)) <- two references to s?
+ (lambda () (print (reverse s)))))
+```
+
# closures
* lambda: actual function containing the code
* param 0: pointer to the value of `x`
* param 1: the value of`y`
+
+# inter-function and stack values
+
+ints, bools and closures are passed around within functions in `%rax`.
+adts are passed on the stack, at whatever stack index the code generation was called with.
\ No newline at end of file