it is all assembly under the hood but it's also all lambda calculus under the hood