Binary Lambda Calculus

[peddie]

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

[peddie]

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

[davidar]

👍

[frasertweedale]

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

[peddie]

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

[gwils]

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

[frasertweedale]

@peddie when? :)