The Problem With Lambda Sets

In a language without lambda sets you don't have to care about what those functions end up being. In rock that's where it starts to get really tricky. You also have to know okay well what does that function actually resolve to right. So this is the problem that we face and we have a design that I think works for the most part whether it will hold up over time and is actually correct in a very rigorous sense we don't know.