I still think Bubble Notation is a promising way to represent lambda terms, but this implementation is a bit dated.
I believed Motorola when it said it would support mods for four years (and exceeded that mark, by the way). I don't trust Tecno though. Yes, there's the issue of importing, but Tecno doesn't have the storied reputation that Motorola does. Still, I like the idea here, and the available modules have some good ideas, if Tecno could push things further.
，这一点在电影中也有详细论述
Photograph: Simon Hill
from the PreMasterSecret using the following method: