bfpg/talks

Binary Lambda Calculus

Opened this issue · 6 comments

peddie commented

We'll go through how John Tromp's Binary Lambda Calculus works and examine the metacircular interpreter in detail.

peddie commented

I don't know how to assign this to myself, but I want to give the talk, if that wasn't clear.

davidar commented

👍

frasertweedale commented

@peddie do you still want to give this talk or should we close the ticket?

peddie commented

I still want this talk to be given, either by me or by anyone else who is interested in the topic.

gwils commented

I'm interested in this, please give this talk peddie :)