Me to the average layman: So I'm fascinated with typed lambda calculus, right? I mean who isn't? So anyway I decided to bang out a POC... um... which is to say I was using a device called a 'keyboard.' You've heard of that, right?
webbureaucrat on Nostr: This is me but I feel like I foul it up in *both* directions. Me to the average ...
This is me but I feel like I foul it up in *both* directions.
Me to the average layman: So I'm fascinated with typed lambda calculus, right? I mean who isn't? So anyway I decided to bang out a POC... um... which is to say I was using a device called a 'keyboard.' You've heard of that, right?
Me to the average layman: So I'm fascinated with typed lambda calculus, right? I mean who isn't? So anyway I decided to bang out a POC... um... which is to say I was using a device called a 'keyboard.' You've heard of that, right?