Open peddie opened 9 years ago
I don't know how to assign this to myself, but I want to give the talk, if that wasn't clear.
:+1:
@peddie do you still want to give this talk or should we close the ticket?
I still want this talk to be given, either by me or by anyone else who is interested in the topic.
I'm interested in this, please give this talk peddie :)
@peddie when? :)
We'll go through how John Tromp's Binary Lambda Calculus works and examine the metacircular interpreter in detail.