Follow
@wim_v12e@octodon.social
Well... actually lambda calculus AND bb encoding. But I'm quite familiar with lambda calculus and I see that BB encoding can enhance what you can do with it.
@wim_v12e@octodon.social
Well... actually lambda calculus AND bb encoding. But I'm quite familiar with lambda calculus and I see that BB encoding can enhance what you can do with it.